Git: Remove committed file after push

Question

Is there a possibility to revert a committed file in Git? I\'ve pushed a commit to GitHub and then I realized that there\'s a file which I didn\'t want to be pushed (I haven

Answer 1

Reset the file in a correct state, commit, and push again.

If you're sure nobody else has fetched your changes yet, you can use --amend when committing, to modify your previous commit (i.e. rewrite history), and then push. I think you'll have to use the -f option when pushing, to force the push, though.