fetch bin/lein and co from codeberg instead of gh#141

Draft

DeLaGuardo wants to merge 2 commits into

mainfrom

GitHub Advanced Security / CodeQL succeeded Jun 25, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.