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)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 22 Jul 2024 09:38:08 +0000 (11:38 +0200)
commit82c459f910c3036b22c9f41472b622ef4bfdab1d
treecabf3f364939d2dbd364311b5e04005e483bbcbd
parent733518b41350ce781c7e41a4c866eafb9e549e1f
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.
tools/fetch-distro.py [new file with mode: 0755]
tools/update-distro-hash.py [deleted file]