temporary, but we need a great deal of variants at this point
[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