I have removed a branch I have after merging it with the master. However, the locally deleted branch is not deleted on remote repo (on github).
On a suggestion in one answer here, I tried git push remote :branch
that didn't seem to help. --prune
option didn't seem to help either. I think I can go ahead and delete the branch remotely as well, but I don't want to be checking it and tracking with every branch.
Any ideas?
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.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With