git - can't delete file permanently from repository -


i'm trying delete huge, 100mb binary file repository. followed these instructions, detailed here:

http://stevelorek.com/how-to-shrink-a-git-repository.html

the instructions based on command:

git filter-branch --tag-name-filter cat --index-filter 'git rm -r --cached --ignore-unmatch filename' --prune-empty -f -- --all  

when ran script again, after allegedly removing file, indeed gone. then, when cloned repository again, after pushing changes, file again.

how can apply changes after deleting big file?

git push origin --force --all 

simply won't cut it.

edit: file has been deleted 2 years ago, there's nothing commit/delete. tried creating dummy commit file addition, still no go.

i ended converting local, clean repository bare repository, mentioned here , replacing old bare repository it.

still no idea why couldn't apply changes central repository.


Comments

Popular posts from this blog

Perl - how to grep a block of text from a file -

delphi - How to remove all the grips on a coolbar if I have several coolbands? -

javascript - Animating array of divs; only the final element is modified -