improved
[infrastructure.git] / scripts / manage-git-mirror.sh
2011-10-13 Thierry Parmentelatimproved
2011-10-13 Thierry Parmentelatutility to manage git-mirror