Add option to delete repo if it is broken

[6543]

If a repo is broken somehow. you will just see a 500 page without the option to delete it.

you can manually add /settings to go to repo settlings page to delete it, but most people don't know.

So I propose a button to directly delete it.

[delvh]

How do you break a repo in the first place?
I support your request, but I definitely wonder what you have to do to achieve that…

[6543]

https://fosstodon.org/@5am/106979181347005295

It should not hapen ... but there is real world

[wxiaoguang]

Where should the link be put to, is there any recommended page/location?

[lunny]

You can delete it from admin panel currently.

[nolash]

I got a broken one due to network issues when trying to migrate from a gitlab repo

[delvh]

Ah, I just noticed a very valid use-case I myself have already encountered and where I already thought about opening an issue:
On my local instance that I use to test Gitea features, I've set my repo dir to be /tmp, so that it will automatically be cleaned when I shutdown my computer.
When I restart Gitea after that, the repo is gone, as expected, but the db does not know about it, and hence I get exactly the described broken state where I cannot do anything with the repo.

[delvh]

Closed in #17747.