I also ran into this using lein-pkg w/ 2.13.0: https://github.com/technomancy/leiningen/blob/d35aef298829ef8191331ed8f9dc3c2d3aef77de/bin/lein-pkg#L7
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 🙂