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?
某草草2017-06-14 10:56:48
git push origin :deleted_branch
origin is your remote name, deleted_branch is the branch you deleted