Fini Jastrow a1c9300076 fetch-archives: Decouple from patched-fonts dir ...

[why]
It does not really make sense to couple the names of the download files
to some currently existing directories in the repo. They could be
different, especially if current version and requested version differ.

[how]
Complete rewrite. Fetch the release data from Github and examine the
release database.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>

2022-12-14 09:45:59 +01:00

..

scripts

fetch-archives: Decouple from patched-fonts dir

2022-12-14 09:45:59 +01:00