How to delete a Git branch both locally and remotely?

To delete the local branch use:

$ git branch -d branch_name

To delete the remote branch use:

$ git push origin --delete <branch_name>

References

• http://stackoverflow.com/questions/2003505/how-to-delete-a-git-branch-both-locally-and-remotely