There will be a short amount of downtime, for git.ligo.org, docs.ligo.org, and chat.ligo.org, starting around approximately 10am CDT on Tuesday 18th June 2019. This is to enable access controls for GitLab Pages. More information can be found here.

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'