In addition to the other answers, I often use the git_remote_branch
tool:
https://github.com/webmat/git_remote_branch
tool. It's an extra install, but it gets you a convenient way to interact with remote branches. In this case, to delete:
grb delete branch
I find that iI also use the publish
and track
commands quite often.
In addition to the other answers, I often use the git_remote_branch
tool:
https://github.com/webmat/git_remote_branch
It's an extra install, but gets you a convenient way to interact with remote branches. In this case, to delete:
grb delete branch
I find that i also use the publish
and track
commands quite often.
In addition to the other answers, I often use the git_remote_branch tool. It's an extra install, but it gets you a convenient way to interact with remote branches. In this case, to delete:
grb delete branch
I find that I also use the publish
and track
commands quite often.