storm1kk
/ Remove a file from git repo (when the simple way doesn't work)
Created
June 22, 2022 11:45
— forked from tkersey/Remove a file from git repo (when the simple way doesn't work)
Git: cleanup repo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Remove file from git repository (history) | |
| SOLUTION: This is the shortest way to get rid of the files: | |
| 1. check .git/packed-refs - my problem was that I had there a refs/remotes/origin/master line for a remote repository, delete it, otherwise git won't remove those files | |
| 2. (optional) git verify-pack -v .git/objects/pack/#{pack-name}.idx | sort -k 3 -n | tail -5 - to check for the largest files | |
| 3. (optional) git rev-list --objects --all | grep #{SHA_FROM_#_3} - to check what files those are |