Trucs & astuces — GitLab
J'ai un problème d'accès à la forge GitLab depuis l'extérieur
Voici le message de la DISI pour l'accès extérieur à la forge
logicielle :
« Nous avons ouvert la plateforme GitLab depuis l’extérieur du campus a un nombre limité de Fournisseurs d'Acces 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'acces, 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 mail: "Subject: controle d'acces IP a gitlab CSC4509, To: helpdesk@tem-tsp.eu, Body: contenu de https://ip.lafibre.info/" »
« Nous avons ouvert la plateforme GitLab depuis l’extérieur du campus a un nombre limité de Fournisseurs d'Acces 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'acces, 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 mail: "Subject: controle d'acces IP a gitlab CSC4509, To: helpdesk@tem-tsp.eu, Body: contenu de https://ip.lafibre.info/" »
Je souhaite supprimer un projet GitLab
Dans la page settings, voir le bas de la page avec le
bouton Remove project.
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.
$Date: 2019-12-24 08:29:37 +0100 (mar. 24 déc. 2019) $