Add link to delete fork of merged pull request

[janosh]

The web UI offers to delete either the branch or the whole fork of a repo whose PR was merged into upstream. Would be nice if the app also offered a link to delete the repo. Currently there's just a button to delete the branch.

ℹ️ Additional Debug Info

GitHub for iOS, Version 1.103.0 (93212509) Device: iPhone15,2 (iOS 16.3)

[aconsuegra]

Thanks for getting in touch and for the feature request @janosh! I'll forward this feedback to our product team for evaluation, stay tuned!