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

If you want to remove the file from the remote repo, first remove it from your project with --cache option and then push it:

git rm --cache /path/to/file
git commit -am "Remove file"
git push

(This works even if the file was added to the remote repo some commits ago) Remember to add to .gitignore the file extensions that you don't want to push.