push.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

#! /bin/sh

. etc/git/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