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