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