Hi everyone,

I soft-deleted this package, but I need the actual Git repository
hard-deleted from the server. I used the wrong author identity on the
initial commit breaking my GPG signature, and since I cannot force push, I
need the repo wiped so I can start fresh.
I hope you can help me with that?

Best regards
Ivan

Reply via email to