leiningen 2026-06-09

cap10morgan: github is currently just a download mirror for the uberjar; you'll want to pull from codeberg

@technomancy So if this is the official policy for the time being, should we tell the maintainer of the Github Action that was mentioned in issue #4 in codeberg[1], which seems to be somewhat popular, to update the code to download the uberjar from github, but download the bin/lein, bin/lein.bat and lein/ps1 scripts from Codeberg? [1] https://codeberg.org/leiningen/leiningen/issues/4#issuecomment-7140772

Sorry, I hadn't read the next thread where this exact same issue was discussed. And I have seen that the author of the extension has already created an issue for this same problem. Sorry for the noise.

oof, OK 🙂