Le Lab de Shelter a été mis à jour en 10.8

Vous pouvez désormais faire des Push Mirror, si vous souhaitez sauvegarder vos dépôts sur un autre gitlab ou sur github. Ca fait que quand vous poussez des commits ici (c'est votre dépôt principal) ça répercute les push ailleurs.

La double sauvegarde, c'est toujours une bonne idée.

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'