Merge branch 'master' of git.onelab.eu:/git/infrastructure
[infrastructure.git] / scripts / manage-git-mirror.sh
2011-10-13 Thierry Parmentelatclean NOTIFY files
2011-10-13 Thierry Parmentelatagain
2011-10-13 Thierry Parmentelatimproved
2011-10-13 Thierry Parmentelatutility to manage git-mirror