Le mirroring des dépôts vers Github est maintenant natif dans Gitlab (et donc Framagit). Merci de passer à la fonction native pour que nous puissions couper notre solution maison. Détails sur https://docs.gitlab.com/ee/workflow/repository_mirroring.html#pushing-to-a-remote-repository (pensez à supprimer le webhook de notre solution maison).

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'