I have a GitHub repository that I am trying to shrink. I\'ve used the BFG repo cleaner to do this, followed by the typical gc commands. This did reduce my repository size (thou