Comment on
Boys, don't dev alone or you'll end up with a git log like mine
Reply in thread
git commit --amend --no-edit and git push --force-with-lease
No-edit skips opening an editor for the commit message and just reuses the same message.
Force-with-lease will force push but only if your local is not missing commits that remote has. Ie other people haven't pushed anything since you last pulled.