Locally deleted branch is not deleted on remote repository

2018-05-29 03:57:06

This question already has an answer here:

How do I delete a Git branch both locally and remotely? 39 answers

You want to use this...

git push remote --delete <branch-name>

Although git push remote :branch should have worked. The command says push this branch without a local set, effectively deleting it.

Are you sure the name of your remote is remote? Could it be origin? Use git remote -v to list your remotes.

Failing that, you can delete branches using GitHub's UI.

链接地址: http://www.djcxy.com/p/658.html