Trucs & astuces — GitLab
Comment configurer mon projet sur gitlabense?
Pour sauvegarder et partager le code de votre micro-projet avec votre binôme et avec les enseignants, vous utiliserez le serveur gitlabense de TSP, dédié à l'enseignement.
Connectez-vous sur le site via Shibboleth avec votre login et mot de passe de l'école.
Une fois votre projet créé, configurez-le en suivant le lien Settings :
- Rendez votre projet « privé » en suivant les liens Settings > General, puis expand à la section permissions, et ensuite, mettez l'attribut Project Visibility à Private. Le non-respect de cette règle revient à vous exposer aux mesures du paragraphe « Fraude » du règlement de scolarité ;
- Ajoutez votre binôme en tant que Maintainer et les enseignants du module en tant que Developer ;
- Pour recevoir les courriels suite aux push (fonctionnalité email on push), toujours dans Settings, sélectionnez la page Integrations. Cochez la case Push events et parcourez la liste des services disponibles pour sélectionner Emails on push. Dans la page ouverte, cochez les cases Active, Push, Tag push et Send from committer, puis ajoutez les adresses courriels de tous les membres du projet dans le formulaire Recipients. N'oubliez pas de cliquez sur Save changes à la fin.
J'ai un problème d'accès à la forge GitLabense depuis l'extérieur en mode commande
Cela peut se produire si vous n'avez pas de chemin de confiance via SSH. Il faut pour cela enregistrer votre clé SSH sur gitlabense.
Pour ajouter une clé SSH, tout en haut à droite de la page, sélectionnez la page Settings puis SSH keys. Copiez/collez votre clé publique (fichier ~/.ssh/id_rsa.pub de la paire [clé privée/clé publique]) dans le formulaire Key.
Pour tester l'utilisation de la clé, revenez sur la page du projet, et sur la machine de la salle TP, copiez/collez l'URL SSH commençant par la chaîne de caractères « git@gitlabense.imtbs-tsp.eu: » pour une première commande « git clone URL ». Vous avez dû récupérer le dépôt de votre projet.
« Nous avons ouvert la plateforme GitLab depuis
l’extérieur du campus a un nombre limité de Fournisseurs
d'Accès Internet (FAI), principalement Orange, SFR,
Bouygues, Free, mais il est possible que nous n'ayons pas
énuméré toutes les adresses sources dont ils disposent. Si
vous avez un refus d'accès, merci de retourner à la DISI via
le helpdesk l’adresse Internet (adresse IP) de votre point
d’accès (box, mobile, lieu d’hébergement...), adresse
disponible depuis votre terminal en allant sur le site
https://ip.lafibre.info/,
afin que la DISI adapte les filtres IP d’accès à
GitLab. Retournez l'information (adresse IPv4) obtenue sur
cette page en envoyant un courriel : "Subject: contrôle
d'acces IP à gitlab, To: helpdesk@imtbs-tsp.eu, Body: contenu
de https://ip.lafibre.info/" »
Je souhaite supprimer un projet GitLab
Je souhaite renommer un projet
Avant d'effectuer cette manipulation, vérifiez que vous avez poussé tous les instantanés du dépôt local sur le dépôt GitLab.
Dans la page du projet, ouvrez le menu de la roue crantée et choisissez Edit Project. Voir ensuite la section Rename repository. Changez les champs Project name et Path, et validez vos modifications.
Après cette manipulation, votre ancien dépôt local n'est plus utilisable, vous devez refaire un git clone.
