Tootfinder

Did you clone a large amount of git repos? Is ~/workspace/ a giant mess? Need to declutter?
If a remote exists and all branches have been pushed (or merged), and you trust the git host to stay up, maybe we don't need to keep the local copy.
Or if there's local branch refs for commits that have never been pushed, maybe they should be.
#git #github #tools #devtools