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?