Repository has no tags yet
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'
The publication services (ARChigator + ARChive) will be unavailable tonight (08.10.2026) from 21:00 CEST to approximately 23:59 CEST.
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'