I have exceeded my workspace size. Unfortunately, while I can free up space by removing older repositories and/or content from existing repositories I wish to keep, there are no git commands or the git commands are too arcane for doing this. I need to hand-prune the space. I did immediately try the instructions issued as the result of `git push`.
Is there an easier/more visible/obvious/etc. way to do this?
I see that this has blocked my whole workspace which is now read-only. I would like to remove some repositories, but I find no way to do that.
Is it now upgrade or the highway? Is there no way/too late to pull back?
