Dépôts Git

Créer son dépôt

Pour initier la création de votre dépôt Git:

  1. Connectez vous au serveur gitlab de l'école https://gitlab.telecom-paristech.fr
    • Authentifiez vous en utilisant vos identifiants école en cliquant sur Shibboleth
  2. Demandez à appartenir au groupe se204/20XX
    • Dans le panneau latéral, cliquer sur Groups
    • Allez dans l'onglet Explore Groups
    • Cliquez sur le sous-groupe se204/20xx
    • Demandez l'accès en cliquant sur Request Access

Vous recevrez un mail dès que votre dépôt sera créé. Cette étape est manuelle et nécessite l'intervention d'en enseignant.

Acceder à son dépôt

Une fois que votre dépôt a été créé, vous pouvez:

  • visualiser l'état et le contenu de son dépôt dans un navigateur en suivant le lient suivant: https://gitlab.telecom-paristech.fr/se204/20XX/prenom-nom
  • cloner votre dépôt git clone git@gitlab.enst.fr:se204/20XX/prenom-nom.git DEPOT_SE204
    Pour cela il faut d'abord renseigner sa clé ssh dans son compte gitlab (voir la suite)

Clé ssh et gitlab

Pour interagir (clone, push, pull) avec son dépôt Giti, il faut utiliser une connexion ssh et donc uploader sa clé publique ssh sur l'interface web de gitlab.

 

Pour ajouter une clé ssh, dans l'interface web de gitlab

 

  1. dans le panneau latéral, cliquer sur Profile Settings
  2. allez dans l'onglet SSH Keys

Coller le contenu de votre clé publique dans le champ Key donnez lui un nom dans le champ Title puis cliquez sur Add Key. Notez que vous pouvez avoir plusieurs clés publiques en même temps.

Si vous n'avez pas de clé ssh il faut d'abord la générer, par exemple en suivant ce qui est indiqué dans la doc de gitlab (https://gitlab.telecom-paristech.fr/help/ssh/README).

Utiliser Git