The old commit becomes orphaned in your local workspace. The new, amended commit replaces the previous commit at the tip of the currently selected branch. As such, it is more accurate to say the git ...

git reset --hard git push --force origin However, pushing back to the server with force is a destructive move, as it rewrites history to permanently delete the pushed commit. A hard git reset along ...