Hello,

I managed to become a sourcehut user during the last DDoS-attack. As a
result (I guess) going to `https://git.sr.ht/~slukits/gio-eval` shows a
500-error. I can neither push to that project nor can I remove it. I
created mean while an other project with the content of `gio-eval` and
would like to delete `gio-eval`. But it seems that I can't do that.

Thanks for the great service; any help is very much appreciated.

Stephan

P.s. this is since sr.ht is back up again. I just waited reporting it
because I thought you have bigger fish to fry.

Hey Stepah! Sorry for the delay in answering this. It seems that the
repository exists in an invalid state. I went ahead and reset it to an
empty repository, and you should be able to push to it now if you have a
local copy of the repository. If you do not have a local copy, let me
know and I'll see what we can do to restore it from backups.