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?