Move bin/lein release script to downloading from non-github
Unfortunately codeberg release download URLs are not predictable: https://codeberg.org/attachments/60dddfb3-74f1-4177-945a-a4ccfe8f7d88
This means we can't update
bin/lein with the URL before tagging the release.
We will need to find another way to do this. One option is to host on https://leiningen.org but this opens up possibilities for attack vectors which we haven't had to worry about in the past.
Ugh, those unpredictable urls are a real bummer, sounds like not thinking through any kind of automation at first glance :(
Gitea has an API for getting specific release by tag:
So for example 2.9.9 is
https://codeberg.org/api/v1/repos/leiningen/leiningen/releases/tags/2.9.9 which returns bunch of JSON with links to attachments.
Deleting a branch is permanent. It CANNOT be undone. Continue?