Source: stackopenflow: Changing git commit message after push (given that no one pulled from remote)
git comment --amend
git push --force
Source: stackopenflow: Changing git commit message after push (given that no one pulled from remote)
git comment --amend
git push --force