sindresorhus/refined-github
The issue has been closed
Improve `quick-repo-deletion` #3984
fregante posted onGitHub
<img width="695" alt="Screen Shot" src="https://user-images.githubusercontent.com/1402241/108022372-0b704380-6fe6-11eb-9507-ebc75f9d65b8.png">
On the final information bar:
- Add link to recovery https://docs.github.com/en/free-pro-team@latest/github/administering-a-repository/restoring-a-deleted-repository as suggested by @kidonng
- Add link to user’s own links so they can delete more, e.g. https://github.com/fregante?tab=repositories&q=&type=fork&language=
Full example:
Repository {url} deleted. You can [restore it](…) or see [your other forks](…).