I have created a local branch X that at some point I pushed to remote server (origin)
git push origin X
I realized it\'s a bad idea to have bra
If others have pulled the branch to their local repositories it is not safe to delete it. One route to consider is deleting all the files from the old branch. Leave a README pointing to the new branch.