Please transfer your projects to the HIFIS gitlab server under This server ( will be shut down at least end of 2021.

Tags give the ability to mark specific points in history as being important
Repository has no tags yet.
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'