Hung patch queue creation; stuck empty repo
I created a patch queue and had some trouble cloning it (I was using the wrong protocol, but didn't know that at the time). So I tried deleting and re-creating the patch queue.
The creation screen hung (and is still hung, five hours later), though I can go into the admin URL for the new queue in a new browser tab. I've tried deleting the new repo from the admin screen, but I just get internal server errors.
Can you delete the repo for me? The repo in question is a private one ending in "-patches" (plural; the similar one with a singular name works fine).