REPORTED RESOLVED FIXED
You have to click two buttons labelled "Delete", one of which is red, to perform an action which can ultimately be rolled back. This is entirely sufficient.
I get the whole UNIX-is-the-Hole-Hawg serious-users-don't-need-to-be-protected-from-themselves aesthetic, which totally works with the brutalist design which I also appreciate. It's true that if you're the only user it's easy to just git-push again, and it's also true that on this service deleting the Git repo doesn't also remove the tickets or other pieces.
But repository deletion is one place where I'd want the confirmation to be a little stronger. If you're running a serious project with a lot of contributors then deleting the repo might be a serious inconvenience. You might have to contact contributors to get various branches back, etc, etc.
I don't really want to call that out special. It's also by design.
I was also thinking about how the ticket owner or comment author's email is visible in the "From" field. Certain people might find that disconcerting. Of course, if things going on in mailing lists is a baked-in feature of the system itself that's just the way things are, in which case it would be good to write that up in your explainers so people know what they're signing up for.
Aye, I need to set a Reply-to and show the responses on the web. I'm using the ongoing lists.sr.ht work to build out infrastructure for processing incoming emails into the system, this will come after.
Ah, I see, comments go out as emails. Kinda impossible to take those back once you've sent them. It's a design decision.
The lack of editing is deliberate, but let me think about it.
You have to click two buttons, the first labelled "Delete", the second one is bright red and explicitly lays out "Proceed and delete". Additionally, if you delete a repo, getting it back is as simple as a git push.
REPORTED RESOLVED WONT_FIX
Also think about how somebody using this in their own project might override the paginator if they don't want to use django-bootstrap-paginator or whichever one you end up using.
The paginator should support bootstrap and be responsive.