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
Post a Comment