git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

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'