Delete a remote branch
To delete a remote git branch from repo origin, the following syntax is used:
git push origin :heads/branch_to_delete
Delete a remote branch from your local repository
git branch -d -r origin/branch_to_delete
Note that this does not remove the branch from the main repo.