Improvement
Prompt to clean up merged forks
Summary
There is now a shortcut to delete forked repos for pull requests that have been merged upstream.
There is now a shortcut to delete forked repos for pull requests that have been merged upstream.