I had some large files in my github repository which I tried to add/commit/push but the push command gave the following error
remote: error: File app_dump.sql is 106.67 MB; this exceeds GitHub's file size limit of 100.00 MB
So I deleted the large file (app_dump.sql) from my repository and did again add/commit/push. But I think this was not the right thing to do, because whenever I push it will still try to push the large file?
$ git status
On branch master
Your branch is ahead of 'origin/master' by 4 commits.
(use "git push" to publish your local commits)
nothing to commit, working directory clean
so now I get the same filesize error every time I push. How can I remove the file from git? I tried
$ git rm app_dump.sql
fatal: pathspec 'app_dump.sql' did not match any files
but this did not find any file, because I deleted it... thanks carl