From 4662e4847402be59197d5ac123cdabb1c760c8a7 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Mon, 21 Jul 2014 08:45:08 +0200
Subject: Add helper git scripts

---
 git/push.sh | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100755 git/push.sh

(limited to 'git/push.sh')

diff --git a/git/push.sh b/git/push.sh
new file mode 100755
index 0000000..d288f3a
--- /dev/null
+++ b/git/push.sh
@@ -0,0 +1,34 @@
+#! /bin/sh
+
+# Assume this script never run via PATH.
+#
+self=`realpath $0`
+. `dirname $self`/modules
+
+wd=`pwd`
+br=$1
+
+for i in $modules; do
+  echo "push $i" 1>&2
+  cd $i
+
+  if [ -z "$1" ]; then
+    br=`git symbolic-ref -q HEAD`
+    br=`echo $br | sed -e 's%^refs/heads/%%'`
+  fi
+
+  # Also push tags if we are pushing master.
+  #
+  if [ "$br" = "master" ]; then
+    git push --tags origin master
+  else
+    git push $ops origin $1
+  fi
+
+  if [ $? -ne 0 ]; then
+    echo "push FAILED" 1>&2
+    exit 1
+  fi
+
+  cd $wd
+done
-- 
cgit v1.1