git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e39f99e)
script looks ok, adding Thierry to ADMINS, to get spammed on conflicts :)
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Thu, 14 Oct 2010 14:15:50 +0000 (16:15 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Thu, 14 Oct 2010 14:15:50 +0000 (16:15 +0200)
scripts/git-mirror.sh patch | blob | history

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index 8ebae5b..ec6e52d 100755 (executable)
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-ADMINS="Talip-Baris.Metin@inria.fr"
+ADMINS="Talip-Baris.Metin@inria.fr Thierry.Parmentelat@inria.fr"
 MIRROR_GIT="git://git.planet-lab.org"
 MASTER_GIT="/git"
 LOCAL_MIRROR_DIR="/git-mirror"
infrastructure