3 Commits

Author	SHA1	Message	Date
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
Fini Jastrow	44629bf663	fetch-archives: Add option to specify release tag ... [why] It fetches the release we did last, which can be a release candidate. But we want the latest release, or some other specified one. [how] Add parameter for the version tag. [note] Also correct some docs. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2022-12-14 09:45:59 +01:00
Fini Jastrow	dd75219729	Add script to download release artifacts ... Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2022-12-14 09:45:59 +01:00