whip - Git repo management tool for Github users

[danse]

The problem is that i have a ~/repos folder with a lot of repos cloned from Github. Some of them contain some work in progress, while others have no personal contribution from me, they are just a copy of something i can already access via Github.

I imagine a script that, given such a folder:

• gets into every subfolder
• checks that every local branch is pushed to its remote
• if this is true, it deletes the subfolder

The script will silently keep the folder at its place if a set of conditions is not met, in a conservative way. I have 91 repos on this laptop, and many others in another laptop, so even being conservative the script would save me a lot of time

[danse]

A good test case is a repo that is just cloned, without any change or any work done to it. That is the base case of a deletable local repo