Hey folks. I just pushed https://clojars.org/uruk with great success, except that because I recently changed the project name and hadn't updated my (still-functional) github push URL, one of the clojars URLs describing the project points to the old name. Is this fixable without a version bump?

@daveliepmann: possibly, I'll check

there is no user-exposed way to fix it, but I can fix it by updating the db record

that would be super

the URL it automatically redirects to is what should display: https://github.com/daveliepmann/uruk

@daveliepmann: there you go: https://clojars.org/uruk

@tcrawley: Thank you! 🙂

my pleasure