[GIT] bare repository command - fourslickz/notes GitHub Wiki
DELETE BRANCH
git branch -D dev
git checkout origin/dev
git branch --set-upstream-to=origin/dev dev
GIT_WORK_TREE=/your-git-directory git checkout master -f
GIT_WORK_TREE=/your-git-directory git branch -D production