The has been recreated and upgraded with the latest version this weekend, If you encounter any problem please inform the Helpdesk.

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'