mirror of
https://github.com/go-gitea/gitea
synced 2025-01-10 17:54:27 +00:00
365c4e9316
This PR adds a button to delete failed repositories if there has been a failure during migration and for whatever reason the repository doesn't get deleted automatically. Fix #16154 Signed-off-by: Andrew Thornton <art27@cantab.net>