Gitlab migration complete. If you have any issue please read the FAQ.

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