Useful Github Commands Picked up by Richard
Deleting a remote branch
git push origin --delete [branch_name]
Deleting a local branch
git branch -d [branch name]
Deleting all branches except develop
git branch | grep -v "develop" | xargs git branch -D