Archive Git Branch

archdel.zshrc

arcdel() {
  if [ -z $1 ]; then
    echo "Error: missing branch name"
  else
        git checkout $1
        git pull origin $1
        git tag archive/$1
        git push origin archive/$1
        git checkout master
        git push origin --delete $1
        git branch -d $1
  fi
}