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