I somehow created a redundant branch with an extra "origin/" in it, so I deleted that as so:
thufir@dur:~/NetBeansProjects/USENET$ thufir@dur:~/NetBeansProjects/USENET$ git push origin :origin/4.GUI_loading_messages_slowlyTo g...@github.com:THUFIR/USENET.git - [deleted] origin/4.GUI_loading_messages_slowly thufir@dur:~/NetBeansProjects/USENET$ git push origin :master remote: error: refusing to delete the current branch: refs/heads/master To g...@github.com:THUFIR/USENET.git ! [remote rejected] master (deletion of the current branch prohibited) error: failed to push some refs to 'g...@github.com:THUFIR/USENET.git' thufir@dur:~/NetBeansProjects/USENET$ thufir@dur:~/NetBeansProjects/USENET$ git branch -a * master remotes/origin/1.FetchBean_CLI remotes/origin/2.some_GUI remotes/origin/3.messageId__string remotes/origin/4.GUI_loading_messages_slowly remotes/origin/HEAD -> origin/master remotes/origin/master thufir@dur:~/NetBeansProjects/USENET$ Now, I would actually like to delete the master branch, as above with the other branch. Is that forbidden? -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To view this discussion on the web visit https://groups.google.com/d/msg/git-users/-/6GGdXXnr3_kJ. To post to this group, send email to git-users@googlegroups.com. To unsubscribe from this group, send email to git-users+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/git-users?hl=en.
