Un dépôt git est disponible à l'AUF. Il permet :

• à quiconque de suivre les développements AUF ;
• à tout technicien AUF d'y présenter ses développements.

Les projets publics de ce dépôt sont visibles ici : http://git.auf.org/

Ci-dessous un résumé (pense-bête) des commandes à utiliser pour exploiter ce service. Si vous voulez vraiment savoir utiliser git, consultez d'abord la documentation officielle.

Télécharger et suivre d'un projet

Premier téléchargement :

• $ git clone http://git.auf.org/git/PROJET

Télécharger les mises à jour :

• $ cd PROJET
  $ git pull

Participer à un projet (droits en écriture)

Nécessite un accès RPV + ssh.

• $ git push ssh://git.auf/~user/PROJET

Création d'un projet

Nécessite un accès RPV + ssh.

Sur la machine où le projet est présent :

• $ git clone --bare ~/PROJET PROJET.export
  $ rsync -a PROJET.export user@git.auf:PROJET
  $ rm -rf PROJET.export

Sur le serveur :

• $ cd ~user/PROJET/
  $ echo "Description du projet en 35 caractères (ou plus)." > description
  $ touch git-daemon-export-ok
  $ git --bare update-server-info
  $ chmod a+x hooks/post-update

Publication via http et vue sur gitweb (optionnelles) :

• $ cd /srv/git/
  $ sudo ln -s ~user/PROJET .

Partage en écriture

Si plusieurs personnes doivent intervenir sur le projet, on peut créer un compte "virtuel" accessible par ssh à un ensemble de clés bien défini. L'adresse publique ne changera pas.

Pour que l'accès ssh soit restreint aux commandes git nécessaires, on met le shell de connexion de l'utilisateur à /usr/bin/git-shell¹.

Exemple de création du compte (à faire avant le transfert du projet) :

• $ sudo adduser --shell /usr/bin/git-shell --gecos "Projet PROJET" --disabled-password git-PROJET
  $ sudo adduser git-PROJET ssh
  $ sudo mv ~user/PROJET ~git-PROJET/
  $ sudo chown -R git-PROJET:git-PROJET ~git-PROJET/

Ne pas oublier de copier les clés nécessaires dans le fichier ~git-PROJET/.ssh/authorized_keys !

Le premier envoi de modification au projet se fait alors avec la commande suivante (depuis chez vous) :

• $ git push ssh://git-PROJET@git.auf/~git-PROJET/PROJET

Les envois suivants se faisant simplement avec git push sans autre argument.

Ce qui reste à faire : rien...

• http://eagain.net/blog/2007/03/22/howto-host-git.html : hébergement de gits, à étudier (lu en diagonale)

• rsync public pour accès rsync

• webdav ? Mmh, les droits d'écriture à "www-data" ne me plaisent pas. Ceci dit, pour un accès public, c'est-à-dire écriture depuis en dehors du RPV... Entre ça et des comptes avec git-shell sur un port autre que 22, mon coeur balance.

• git-daemon pour accès git:// plus optimisé : pas vraiment nécessaire
• dissocier gitweb de la publication via http (c'est-à-dire ne pas rendre tous les projets publics visibles via gitweb) : possible mais plutôt inutile

Notes de bas de page :