Leiningen download URL moving

[technomancy]

Leiningen is moving off Github; the latest 2.12.0 release is the last one that will be tagged on Github. Future releases will only be pushed to Codeberg.

Someone mentioned that this repo has a hard-coded github URL in it, so that will have to change.

However, I am reluctant to have a swarm of CI downloads start pulling uberjars from Codeberg, as it is a community run site and the uberjars are relatively large. Since the work you're doing in setup-clojure is packaging work, it would probably be better if you used bin/lein-pkg as a base instead of using the self-install functionality of the regular bin/lein script, which is meant for developers to use for manual installs on their laptops.

While I will no longer be pushing git commits to the Leiningen github repository, I could keep it around as a mirror for the uberjar downloads; perhaps we could have CI runs pull from there to avoid using self-install. What do you think?

[DeLaGuardo]

Hi @technomancy! Thanks for letting me know. I agree that it would be unfair to swarm codeberg site to download leiningen uberjar. I'll be back with some ideas in a two weeks (on vacation at the moment)

[DeLaGuardo]

btw, would you consider publishing leiningen-standalone.jar to clojars? This could be a convenient place to download from and at the same time it could be used as a proof of origin for executable.

[technomancy]

Doesn't that have the same problem? It's just switching from one community-funded site to another.

I couldn't find a clear policy guide for Clojars, but it does say that it's meant for libraries, so using it to distribute a whole application seems a little off. I don't mind publishing artifacts to github if it's specifically for mirroring purposes.