git: delete a branch (locally and remote)

$ git branch -d ${LOCAL_BRANCH_NAME}
$ git push origin --delete ${REMOTE_BRANCH_NAME}