updown


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/bin/bash
#
# commit, merge, push and fetch
#

commit $*
git merge-to master

if [ "`git branch | grep '^*'`" == '* develop' ]; then
  git push all
fi

git fetch --all