Functionality to cleanup forks after a campaign is complete

[rnorth]

As-is, turbolift users will end up with large numbers of forks in their personal org. This is annoying, and cleaning these up is a chore.

We should have a turbolift cleanup feature to delete a user's forks.

We should discuss safety aspects, e.g. should we avoid deleting forks if:

• the user's PR is still open for this campaign
• the user has other PRs open from their fork to upstream
• ... other reasons?

Some combination of warnings/prompts may help.

[janeklb]

In the meantime, you can use turbolift foreach in combination with the gh cli tool:
(replace $USER if necessary)
(your github token will need to have delete_repo permissions checked)

turbolift foreach 'gh api -X DELETE repos/$USER/$(basename $(pwd))'

(of course be careful with this in case you have your own repos that you were turbolifting... )

[rnorth]

@sledigabel's suggestion: add a label to the forked repo indicating that the fork was created for turbolift, and add a new label for each campaign that uses a given fork. Use this to add a safety guard to turbolift cleanup so that we don't accidentally delete forks that are still in use for other purposes.

Another suggestion (in parallel)?

turbolift cleanup list dumps a list of repos that could be cleaned up to a file
User hand-edits the file - potentially an interactive $EDITOR session?
turbolift cleanup apply actually does the deletion