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.