The GSI IT is rotating some certificates today (11/12/2024), leading to error messages like "certificate has expired" when logging in some of our tools. Please be patient, this should be resolved as they propagate the new ones to the various servers (e.g. redmine was blocked for 1 hour in the morning and came back).
(by Pierre-Alain)
Repository has no tags yet
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'
