Gitlab

Le service Gitlab est un service équivalent au service “libre” github permettant de gérer des projets confidentiels.

Pour l'activer merci de vous rendre sur votre interface de gestion de compte. Ce service est hébergé à l'adresse https://gitlab.math.univ-paris-diderot.fr/.

Documentation

La documentation gitlab se trouve ici. Pour git, un tutoriel est ici.

Pré-requis

Il faut tout d'abord activer le service gitlab sur l'interface de gestion de compte.

Première identification

La première identification se fait en utilisant son login (pas l'adresse de courier) et son mot de passe de mail. Cette première identification déclenche la création du compte sur gitlab qui servira par la suite.

Pour accéder à la forge la première fois, il faut donc s'identifier deux fois.

Utilisation de git via ssh

Pour utiliser Git avec SSH il faut que vous importiez votre clé publique dans gitlab (avec l'interface web).

Une fois le projet crée sur gitlab:

  • Si vous n'avez pas de dépôt git préexistent
mkdir NOMDUPROJET
cd NOMDUPROJET
git init
touch README
git add README
git commit -am 'first commit'
git remote add origin git@gitlab.math.univ-paris-diderot.fr:UID/NOMDUPROJET.git
git push -u origin master
  • Si vous avez un dépôt git:
cd existing_git_repo
git remote add origin git@gitlab.math.univ-paris-diderot.fr:UID/NOMDUPROJET.git
git push -u origin master

Utilisation de git via https

L'utilisation est semblable au ssh.

  • Avantage: vous n'avez pas besoin de la clé privée pour travailler.
  • Inconvénient: vous devez saisir votre mot de passe à chaque push/pull.

Une fois le projet crée sur gitlab:

  • Si vous n'avez pas de dépôt git préexistent
mkdir NOMDUPROJET
cd NOMDUPROJET
git init
touch README
git add README
git commit -am 'first commit'
git remote add origin https://gitlab.math.univ-paris-diderot.fr/UID/NOMDUPROJET.git
git push -u origin master
  • Si vous avez un dépôt git:
cd existing_git_repo
git remote add origin https://gitlab.math.univ-paris-diderot.fr/UID/NOMDUPROJET.git
git push -u origin master