Gitlab
Serveurs Git
Présentation
Gitlab/Github/Bitbucket/... sont des serveurs Git+Web qui gèrent:
- le stockage du dépôt et les commandes pull/push
- les utilisateurs, leurs méthodes d'accès
- les autorisations en lecture/écriture/administration des utilisateurs
- des statistiques
- des outils de suivi de votre projet comme les issues, deadlines, milestones, sprints, merge requests qui sont des mots clés en développement logiciel que vous verrez plus tard.
- des outils de tests et d'intégration continue permettant à chaque nouveau commit de:
- Lancer un processus de test, et si les tests échouent, refuser le commit ou le push
- Lancer une installation de la nouvelle version du logiciel
- Une combinaison des deux, sur plusieurs machines d’architectures différentes
- des outils pour la gestion de fusion de code pour des contributeurs sans droits d'écriture sur le dépôt
- puis toute une couche d'outils supplémentaires qui complexifient énormément leur interface.
La partie de l'interface juste pour faire du Git est "assez" simple.
Attention
Il est fortement déconseillé de passer par l'interface web pour faire des modifications au dépôt. Faites vos modifications sur votre dépôt local et poussez-les sur le dépôt distant.
Gitlab Telecom Paris
La plupart de vos projets et TP seront hébergés sur le serveur GitLab de Télécom Paris. Il est accessible à l'adresse https://gitlab.telecom-paris.fr.
Attention
Connectez-vous via le service d'authentification SSO en bas de la page de login.
Connexion SSH aux serveurs Git
Une première étape clé dans votre communication avec un serveur Git est de configurer la communication par SSH.
En général, il est possible de se connecter aux serveurs Git de plusieurs façons, dont par login et mot de passe. A Télécom Paris, seule la connexion par SSH est confortable à utiliser.
Nous supposons que vous avez déjà configuré vos clés SSH.
Dans votre navigateur:
- Allez sur Gitlab
- En haut à droite, cliquez sur votre compte, Choisissez « préférences », puis « clés SSH »
- Copiez le contenu de votre clé publique (par ex.
~/.ssh/id_ed25519.pub) et collez la clé dans la zone adéquate. Mettez un titre à votre clé, et des paramètres pertinents. - Cliquez sur ajoutez la clé
Cloner un dépôt distant
Comme vu précédemment, pour récupérer un dépôt existant sur ce serveur, vous devrez avoir l'adresse de ce dépôt. Par exemple:
Vous pouvez aussi cloner ce dépôt sous un autre nom:
Vous pouvez à tout moment renommer le répertoire racine du dépôt, tant que vous ne modifiez pas le contenu du dossier .gitdu dépôt.