Delete a git branch

Only do this after you have merged a git branch into master branch.

First, delete it locally:

git branch -d branchname

Then delete the remote branch from github:

git push origin --delete branchname