Reduce git repository size

Update Feb. 2021, eleven years later: the new git maintenance command (man page) should supersede git gc, and can be scheduled. Original: git gc –aggressive is one way to force the prune process to take place (to be sure: git gc –aggressive –prune=now). You have other commands to clean the repo too. Don’t forget though, … Read more