There is now a shortcut to delete forked repos for pull requests that have been merged upstream.