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.