That is, I don't want to actually delete the branch in the remote repository, but I don't want the branch locally anymore.
Can I just do git branch -d the_branch
and it won't get propagated when I later git push
? Will it only propagate if I were to run git push origin :the_branch
later on?