Undo a Git commit after push using reverse patch?

Question

I\'ve pushed a commit and I want to revert changes introduced by this commit by applying and committing a reversed patch. How do I do it?

Answer 1

simply use

for committed file:

git revert 

for non-committed file:

git reset --hard HEAD