Hi! If a library was pushed by mistake under the wrong name, could it be deleted? I know the policy is "no", but in this specific case there is no way anyone can be willingly dependent on it.
Hi @gaverhae! Can you file an issue at https://github.com/clojars/administration/issues/new/choose and we can discuss it there?
Sure, thanks!
Thanks @gaverhae! I'll take a look.