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

c++ - Function signature as a function template parameter -

algorithm - What are some ways to combine a number of (potentially incompatible) sorted sub-sets of a total set into a (partial) ordering of the total set? -

How to call a javascript function after the page loads with a chrome extension? -