git-merge-push-production.sh

#!/bin/bash

git_cmds=("checkout production" "merge devel" "push" "checkout devel")

for cmd in "${git_cmds[@]}"
do
    if ! git $cmd
    then
	exit $?
    fi
done