I have 3 files, and one of them is a .idea file. I accidentally pushed this file to Github, and now I want to delete it, so I did git rm -r --cached .idea according to this post to remove it from git, but when I try to push the changes, it says 
Everything up-to-date
How do I push the changes to Github?
 
    