We will move gitlab to another server on the weekend 29-30 Jan 2022. Please expect some downtime, see our status page.

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'