summaryrefslogtreecommitdiff
path: root/git/push.sh
blob: e37d3515805fc9fe69d1d1c78815c4e47f369042 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#! /bin/sh

# Assume this script never run via PATH.
#
self=`realpath $0`
. `dirname $self`/modules

wd=`pwd`

for i in $modules; do
  echo "push $i" 1>&2
  cd $i
  git push --tags origin master
  cd $wd
done