Post #3390663

git commit --amend --no-edit and git push --force-with-lease No-edit skips opening an editor for the commit message and just refuses 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.