Git prevents pushing after amending a commit
This should only be the case if you're amending an already-pushed commit. Generally you should never do that as you're then modifying published history. In your case however, you should be able to get away with push -f, which will overwrite the remote commit with your amended revision.
Yup, you should not do that (pushing a commit, then changing it and trying to push it again).
Instead, you can roll back Git to your previous commit without changing the files, then creating a new commit:
git reset --mixed origin/mastergit add .git commit -m "This is a new commit for what I originally planned to be an amendmend"git push origin masterthis will create a new commit with the changes you were about to amend.
you amended the pulled commit as in
git pull origin mastergit commit -a --amend -m "..."git pushyou can solve the issue by reverting the amended commit:
git reset --mixed origin/masterand then making it again as a full fledged commit