#!/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