I have a master and a dev branch in my repository. I want to remove the master branch from my computer so that I don’t accidentally commit to it (it’s happened..).
There are questions on here about how to delete branches locally and remotely, but I haven’t been able to find out how to only delete a branch locally.
One answer said to use this:
git branch -d local_branch_name
But I tried that and the branch still shows up in the GitHub application.