First, what I did in git:
E:\zeus>git filter-branch -f --tree-filter "rm -rf ZeusSRC_Hardware_RPi_image_Raspberry Pi_außen_20.05.2019.zip" --prune-empty -- --all
Rewrite fa2be75c64ca78a296c8f78fc363beebecbf92a1 (1526/1526) (2745 seconds passed, remaining 0 predicted)
Ref 'refs/heads/Kunden' was rewritten
Ref 'refs/heads/Sensor' was rewritten
Ref 'refs/heads/Wetter' was rewritten
Ref 'refs/heads/ZEUS-5' was rewritten
Ref 'refs/heads/Zeus_Bug-13' was rewritten
WARNING: Ref 'refs/heads/master' is unchanged
Ref 'refs/remotes/origin/ADW' was rewritten
WARNING: Ref 'refs/remotes/origin/master' is unchanged
Ref 'refs/remotes/origin/Kunden' was rewritten
Ref 'refs/remotes/origin/Metzger' was rewritten
WARNING: Ref 'refs/remotes/origin/Mond' is unchanged
Ref 'refs/remotes/origin/Sensor' was rewritten
WARNING: Ref 'refs/remotes/origin/Sonne' is unchanged
Ref 'refs/remotes/origin/Wetter' was rewritten
WARNING: Ref 'refs/remotes/origin/ZEUS-2' is unchanged
WARNING: Ref 'refs/remotes/origin/ZEUS-3' is unchanged
Ref 'refs/remotes/origin/ZEUS-5' was rewritten
Ref 'refs/remotes/origin/ZEUS_BUG-12' was rewritten
WARNING: Ref 'refs/remotes/origin/ZEUS_BUG-4' is unchanged
Ref 'refs/remotes/origin/ZEUS_BUG-6' was rewritten
WARNING: Ref 'refs/remotes/origin/ZEUS_BUG-8' is unchanged
Ref 'refs/remotes/origin/ZEUS_BUG-9' was rewritten
Ref 'refs/remotes/origin/Zeus_Bug-13' was rewritten
WARNING: Ref 'refs/remotes/origin/master' is unchanged
WARNING: Ref 'refs/remotes/origin/metzger' is unchanged
WARNING: Ref 'refs/remotes/origin/tempAddFirstCode' is unchanged
Ref 'refs/stash' was rewritten
Second, what this was SUPPOSED to do: I have some ISO in my repo, about 4GB size. I removed it, used git add . and then commited and pushed, but of course the repo size didnt change because there still are the objects which were once associated with the former commits. So what I first want to know:
According to the output of git above, can I assume that the file affected by the git command is now REMOVED from history?
Because as far as I understand, the removal of a file from history is a mandatory prerequisite for what I want to do next: Use the garbage collector to remove the related object from my repo "manually".
I already stumbled over several posts on SO which dealt with this problem, for example I found this rather popular script for git:
git -c gc.reflogExpire=0 -c gc.reflogExpireUnreachable=0 -c gc.rerereresolved=0 -c gc.rerereunresolved=0 -c gc.pruneExpire=now gc
which might require to execute the following before:
git remote rm origin
rm -rf .git/refs/original/ .git/refs/remotes/ .git/*_HEAD .git/logs/
git for-each-ref --format="%(refname)" refs/original/ | xargs -n1 --
no-run-if-empty git update-ref -d
from here: How to remove unreferenced blobs from my git repo However, these commands didnt really work for me :/