From 464577b6f1bbaba6c9527158cee2e394abccb09e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= Date: Thu, 14 Oct 2010 16:15:50 +0200 Subject: [PATCH] script looks ok, adding Thierry to ADMINS, to get spammed on conflicts :) --- scripts/git-mirror.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh index 8ebae5b..ec6e52d 100755 --- 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" -- 2.43.0