new script git-update.sh that also pulls branches
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 25 Apr 2013 09:17:49 +0000 (11:17 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 25 Apr 2013 09:17:49 +0000 (11:17 +0200)
commit8481e3c8b6f6776f08bece291044e478a530f5ae
treef9a6cf321117587a8da4110079fd97bed91f8482
parent4fee64b857ac350d5a466d9b0fb0cb7760b16ed6
new script git-update.sh that also pulls branches
scripts/git-mirror.sh
scripts/git-update.sh [new file with mode: 0755]