From b2c21e24a95c1eed82fade6c2fe3381cf72332ff Mon Sep 17 00:00:00 2001 From: Nico Schottelius Date: Mon, 14 May 2012 18:32:45 +0200 Subject: [PATCH] publishing more verbose Signed-off-by: Nico Schottelius --- build | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/build b/build index b209e1c2..bec7f5a9 100755 --- a/build +++ b/build @@ -126,11 +126,11 @@ case "$1" in rm -f latest && ln -sf "$version" latest" ;; - p|pu|pub) - git push --mirror - git push --mirror github - git push --mirror sf - git push --mirror ethz + p|pu|pub) + for remote in "" github sf ethz; do + echo "Pushing to $remote" + git push --mirror $remote + done ;; clean)