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

..

scripts

fetch-archives: Add option to specify release tag

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