summaryrefslogtreecommitdiffstats
path: root/tools/fetch-distro.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* tools/fetch-distro: support the case where the sources are in a subdirectoryAntonio Alvarez Feijoo2025-01-151-6/+30
* 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