From: ezk <ezk>
Date: Sun, 3 Feb 2019 12:02:01 +0000 (+0000)
Subject: update scripts
X-Git-Url: https://git.fsl.cs.sunysb.edu/?a=commitdiff_plain;h=2bf4113632a7304bde5c0ba38220336bbbc3d194;p=wrapfs-mgmt.git

update scripts
---

diff --git a/git-push2.sh b/git-push2.sh
new file mode 100755
index 0000000..e6be8b8
--- /dev/null
+++ b/git-push2.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+set -x
+
+if test -n "$1" ; then
+    DIRS="$@"
+else
+    DIRS="."
+fi
+
+for d in $DIRS ; do
+    (
+	cd "$d"
+	git push || git push -f
+	git push --tags || git push -f --tags
+    )
+done