#!/bin/bash # # commit, merge, push and fetch # if [ ! -z "$*" ]; then commit $* else updates fi git merge-to master if [ "`git branch | grep '^*'`" == '* develop' ]; then git push all fi git fetch --all