I have a data file that I recently put in my directory that's over the Github size limit. I forgot about the size limit, so did a git add / git commit / git push, and got the error saying it was too big.
To remedy this, I added a .gitignore file and specified the path to my file as well as removing the file in a separate git commit (git rm and then git commit).
However, when I tried to push again, it still tries to upload the file. The file does not come up in git ls-files. Any ideas? My .git directory is problematically big and indicates that the data file is still somewhere in there. What should I do?
 
    