git - this exceeds GitHub's file size limit -

this question has answer here:

• github file size limit changed 6/18/13. can't push now 6 answers
• git trying push file isn't tracked 2 answers

i had large files in github repository tried add/commit/push push command gave following error

remote: error: file app_dump.sql 106.67 mb; exceeds github's file size limit of 100.00 mb

so deleted large file (app_dump.sql) repository , did again add/commit/push. think not right thing do, because whenever push still try push large file?

$ git status on branch master branch ahead of 'origin/master' 4 commits.   (use "git push" publish local commits)  nothing commit, working directory clean 

so same filesize error every time push. how can remove file git? tried

$ git rm app_dump.sql fatal: pathspec 'app_dump.sql' did not match files 

but did not find file, because deleted it... carl

see article: https://help.github.com/articles/remove-sensitive-data/ . want rewrite repository history. careful git filter-branch command!

git filter-branch --force --index-filter \ 'git rm --cached --ignore-unmatch app_dump.sql' \ --prune-empty --tag-name-filter cat -- --all 

if i'd make local backup of repository first. copy whole folder other location can experiment on repo in piece.

when happy results commit them github, , remember rewrites history file deleted here disappear github's history too.