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

Answer 1

1. check out the previous (unchanged) state of your file; notice the double dash

   git checkout HEAD^ -- /path/to/file
   

2. commit it:

   git commit -am "revert changes on this file, not finished with it yet"
   

3. push it, no force needed:

   git push
   

4. get back to your unfinished work, again do (3 times arrow up):

   git checkout HEAD^ -- /path/to/file