update scripts

diff --git a/git-push2.sh b/git-push2.sh
new file mode 100755 (executable)
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