Delete remote branch

To delete a branch, you must remove it locally and remotely.

Locally:

git branch -d   (this ensures the branch is fully merged elsewhere)

or

git branch -D   (this deletes the branch regardless of its merged status)

To delete the remote branch, use:

git push origin :