git sur labo2206.org

Pour l'instant, on a installé git, gitolite (pour la gestion des différents utilisateurs) et cgit pour l'interface web, que l'on peut accéder ici.

Création d'un dépôt

Un nouveau dépôt est créé par l'administrateur en suivant cette procédure :

$ git clone git@labo2206.org:gitolite-admin

Placer les clefs publiques des utilisateurs accédant à ce dépôt dans keydir/ et les ajouter au git :

$ git add richard.pub paupaul.pub salome.pub

Dans le fichier conf/gitolite.conf, ajouter :

repo nom_du_repo
    RW+ = richard paupaul salome

(richard, paupaul, salome correspondent au nom des clefs publiques des différents utilisateurs)

Effectuer un commit et un push :

$ git commit -a -m "ajout nom_du_repo"
$ git push

Rendre le dépôt visible avec l'interface web

Ajouter dans le fichier projects.list le nom du dépôt (à automatiser…)

Utilisation d'un dépot

On se connecte avec l'utilisateur dont on a fourni la clef publique (par ex. paupaul). On suit ensuite la procédure classique de git. Il y a juste une subtilité, on accède au dépôt par l'intermédiaire de SSH, et du port 22022 :

on clone :

$ git clone ssh://git@labo2206.org:22022/nom_du_repo

on ajoute des fichiers :

$ git add mon_superbe_fichier.extra

on commit, on push, etc…