summaryrefslogtreecommitdiff
path: root/git/push.sh
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-06-12 17:01:33 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-06-12 17:01:33 +0200
commitd091725b9af5057d0ff85fb84bb792450b4a1f92 (patch)
treecd3f74275a0d42c02db2b219201589b08555e927 /git/push.sh
parentd6477bdc97008e9bdd14cc4e31fcce82734afc74 (diff)
Remove git scripts, they are now in separate repositoryas
Diffstat (limited to 'git/push.sh')
-rwxr-xr-xgit/push.sh34
1 files changed, 0 insertions, 34 deletions
diff --git a/git/push.sh b/git/push.sh
deleted file mode 100755
index d288f3a..0000000
--- a/git/push.sh
+++ /dev/null
@@ -1,34 +0,0 @@
-#! /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