reference to the helper script reindex.sh on liquid

[infrastructure.git] / scripts / git-mirror.sh

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index 5da27f0..ec6e52d 100755 (executable)
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -1,9 +1,12 @@
 #!/bin/bash
 
+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"
 QUIET=0
+FAILED=0
+FAILED_CMDS=""
 
 function msg () {
     if [ $QUIET -eq 0 ]
@@ -13,7 +16,12 @@ function msg () {
 }
 
 function error () {
-    echo "[ERROR] xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx $@"
+    SUBJECT=$1
+    MSG=$2
+    for admin in $ADMINS
+    do
+        echo -e "$MSG" | mail -s "$SUBJECT" $admin
+    done
 }
 
 function run () {
@@ -28,22 +36,35 @@ function run () {
 
     pushd ${REPO} > /dev/null
     eval $COMMAND
+    if [ $? -ne 0 ]
+    then
+        FAILED=1
+        FAILED_CMDS="$FAILED_CMDS\n$COMMAND" 
+    fi
     popd > /dev/null
 }
 
+function run_ignore_errors () {
+    OLD_FAILED=$FAILED
+    OLD_FAILED_CMDS=$FAILED_CMDS
+    run "$1" "$2"
+    FAILED=$OLD_FAILED
+    FAILED_CMDS=$OLD_FAILED_CMDS
+}
+
 function merge_all_branches () {
     NAME=$1
     REMOTE=$2
     REPO_DIR=$3
 
-    pushd $REPO_DIR
+    pushd $REPO_DIR > /dev/null
     BRANCHES=$(git branch -r | grep $REMOTE | grep -v HEAD | sed "s/.*\///g" | grep -v master)
     popd > /dev/null
 
     run "git checkout master" ${REPO_DIR}
     run "git merge --ff $REMOTE/master" ${REPO_DIR}
     for BRANCH in $BRANCHES ; do
-        run "git branch $BRANCH $REMOTE/$BRANCH" ${REPO_DIR}
+        run_ignore_errors "git branch $BRANCH $REMOTE/$BRANCH" ${REPO_DIR}
         run "git checkout $BRANCH" ${REPO_DIR}
         run "git merge --ff $REMOTE/$BRANCH" ${REPO_DIR}
     done
@@ -54,7 +75,7 @@ function push_all_branches () {
     REMOTE=$2
     REPO_DIR=$3
 
-    pushd $REPO_DIR
+    pushd $REPO_DIR > /dev/null
     BRANCHES=$(git branch -r | grep $REMOTE | grep -v HEAD | sed "s/.*\///g" | grep -v master)
     popd > /dev/null
 
@@ -66,12 +87,15 @@ function push_all_branches () {
 
 function mirror () {
     for arg in "$@" ; do
+        FAILED=0   # reset previous failure if any
+
         NAME=$(basename ${arg} | sed s/.git$//g)
         GIT_NAME=${NAME}.git
         REPO_DIR=${LOCAL_MIRROR_DIR}/${NAME}
         MIRROR_REPO=${MIRROR_GIT}/${GIT_NAME}
         MASTER_REPO=${MASTER_GIT}/${GIT_NAME}
 
+
         # if there is no remote repository it may be that we only have
         # the repository locally and don't need to mirror
         git ls-remote $MIRROR_REPO &> /dev/null
@@ -97,9 +121,12 @@ function mirror () {
             run "git fetch local_master --tags" ${REPO_DIR}
             run "git fetch local_master" ${REPO_DIR}
             merge_all_branches $NAME local_master $REPO_DIR
-            if [ $? -ne 0 ]
+            if [ $FAILED -ne 0 ]
             then
-                error "Can not fetch from ${MIRROR_REPO}"
+                pushd ${REPO_DIR} > /dev/null
+                STATUS_OUT=$(git status)
+                popd > /dev/null                
+                error "git-mirror.sh failed on ${MIRROR_REPO}" "STATUS:\n$STATUS_OUT \n\n------------\n FAILED COMMANDS:\n$FAILED_CMDS"
             else
                 run "git push --tags local_master" ${REPO_DIR}
                 push_all_branches $NAME local_master $REPO_DIR