From 58e228c02ef369906ed294068d1e2f1b0c5b574b Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 11 Feb 2015 18:13:54 +0100
Subject: [PATCH] git-slave says which repo breaks

---
 scripts/git-slave.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/scripts/git-slave.sh b/scripts/git-slave.sh
index b2c0008..178e9e9 100755
--- a/scripts/git-slave.sh
+++ b/scripts/git-slave.sh
@@ -30,10 +30,13 @@
 #[remote "origin"]
 #	url = https://github.com/cdwertmann/rvm-rpm.git
 #	fetch = refs/heads/*:refs/heads/*
+
+COMMAND=$(basename $0)
+
 function slave_repo () {
     git_slave=$1; shift
     cd $git_slave
-    git fetch --all --tags -q
+    git fetch --all --tags -q || echo "$COMMAND failed in repo $git_slave"
 }
 
 for slave_dir in "$@"; do slave_repo $slave_dir; done
-- 
2.43.0