tools/update-distro-hash: rename, fetch the repository if appropriate
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 3 Jul 2024 14:01:03 +0000 (16:01 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 24 Jul 2024 12:26:49 +0000 (14:26 +0200)
commit92890d56e8e9f5290a1012e35e3b97d4d8db57ba
treee7424153ead59a26b0bd5eef3c3c0630e5b2955d
parent1f079607f8ca0126ffa3405fe1c8af02e320e0c7
tools/update-distro-hash: rename, fetch the repository if appropriate

Let's rename the tool to tools/fetch-distro. It's useful to be able to fetch
the distro directly. But when that functionality is added, the old name is
confusing.

Now --update/-u must be specified to update the commits.

--reference-if-able is used to speed up the clone of debian.
It saves about 75% of the download.

(cherry picked from commit 82c459f910c3036b22c9f41472b622ef4bfdab1d)
tools/fetch-distro.py [new file with mode: 0755]
tools/update-distro-hash.py [deleted file]