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.