gap-system/ReleaseTools

Start recording an actual version number (could also be a date); perhaps also cut official "releases" of ReleaseTools

fingolfin opened this issue · 0 comments

This way, one can simply ask people "What version of ReleaseTools are you using? Use release --version to find out."

Could then also have a website for it.

And then we could also add a version check into the script -- before doing anything with the package, use curl to determine what the latest version is; if it is newer, print a warning or even abort with an error.

It then should also be easy to update; so we might print something like: "Use curl URLBLABLA to download the latest version of this script"