Carefully list dirty repos and show their status

[git-scripts.git] / update

diff --git a/update b/update
index aa62c97ea9762dc153a89ca83b1439f7dac5244a..2e0aa7843953217b66a23dffddef3dfa47f664d6 100755 (executable)
--- a/update
+++ b/update
@@ -19,6 +19,8 @@ fi
 git pull --ff-only current master &&
 
 web="`git config --get --path remote.web.url`" &&
-[ -n "$web" ] && git push web
+if [ -n "$web" ]; then
+   git push web master
+fi &&
 
 cd "$current" && exec git pull origin