git_push.sh

# Push git changes. $1 = destination branch
function git_push() {
    typeset current_branch=$(parse_git_branch)
    typeset destination_branch="$1"
    if [ "$destination_branch" = "" ]
    then
        typeset destination_branch="master"
    fi
    git checkout $destination_branch; git merge $current_branch; git pull origin $destination_branch; git push origin $destination_branch; git checkout $current_branch
}