I created a branch locally without merging it, and pushed the branch to github
Then I deleted the branch locally, so how do I delete the branch on the remote warehouse?
git push origin :deleted_branch
origin is your remote name, deleted_branch is the branch you deleted
You can delete branches directly on the github website
origin is your remote name, deleted_branch is the branch you deleted
You can delete branches directly on the github website