Cette procédure permet d'ajouter/retirer des users et des dépôts dans Gitolite, ainsi que modifier les droits d'accès.

Prérequis

Il vous faut :

• une clef publique SSH pour l'user à ajouter
• avoir accès au dépôt gitolite-admin

Une fois que c'est le cas, il suffit de cloner le dépôt :

git clone ssh://git@bulbe.nos-oignons.net/gitolite-admin.git

Procédure

En cas de doute, reportez-vous à http://gitolite.com/gitolite/g2/admin.html#adminrepo.

1. Ajouter ou supprimer une clef publique

   • Pour donner un accès, copier la clef de l'user sous gitolite-admin/keydir/$USERNAME.pub.
     L'ajouter au commit à venir avec git add keyring/$USERNAME.pub.
   • Pour fermer un accès : git rm keyring/$USERNAME.pub.

2. Éditer gitolite-admin/conf/gitolite.conf

   • Les groupes sont de la forme @$GROUPNAME = $USER1 $USER2 ...
   • Un dépot est déclaré par une ligne repo $NAME.
     Elle est suivie des droits donnés aux users :
     • R pour Read
     • RW pour Read, Write
     • RW+ pour RW ainsi que diverses opérations dangereuses (push -f, effacement de références, …)
     • Les autres sont documentés dans http://gitolite.com/gitolite/g2/conf.html.

3. Ajouter gitolite-admin/conf/gitolite.conf au commit, et commettre le tout.

4. Enfin, mettre à jour le dépôt sur le serveur avec : git push.

Remarques

1. Par défaut, tout user (groupe @all) a les droits RW+ sur le dépôt testing.

2. En cas de doute, ssh git@bulbe.nos-oignons.net -i path/to/key permet de confirmer que l'accès SSH marche, et affiche les droits d'accès.