"park" an old branch

git_park_branch.sh

#!/bin/sh

set -e

BRANCH=${1:?"Usage: $0 [BRANCH]"}


if ! ( git branch | grep -q ${BRANCH} ); then
        echo "ERROR: Uknown branch '${BRANCH}'" > /dev/stderr
        exit 1
fi 

set -x

git checkout ${BRANCH}
git checkout -b "zDONE_${BRANCH}"
git branch -d ${BRANCH}
git push origin :${BRANCH}