Placeholder for a better tutorial, handy links for now:
git push origin --delete <branchName>
There was an error while loading. Please reload this page.