summaryrefslogtreecommitdiffstats
path: root/tools/fetch-distro.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* fetch-distro: use git log --first-parentLuca Boccassi2024-11-131-1/+1
* tools/fetch-distro: switch to the target branchZbigniew Jędrzejewski-Szmek2024-07-221-0/+4
* tools/fetch-distro: only fetch the configured branchZbigniew Jędrzejewski-Szmek2024-07-221-4/+5
* tools/update-distro-hash: rename, fetch the repository if appropriateZbigniew Jędrzejewski-Szmek2024-07-221-0/+121