summaryrefslogtreecommitdiff
path: root/git/push.sh
blob: cd1c1b81e233b31d970703adb9b3ac1947d83549 (plain)
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
#! /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

  cd $wd
done