On Thursday, August 9, 2012 9:23:02 AM UTC+2, THUFIR HAWAT wrote:
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
On Thursday, 9 August 2012 00:57:20 UTC-7, Thomas Ferris Nicolaisen wrote:
[...]
Github prohibits this as long as the branch you are trying to delete is
the Default Branch in this repository. You can change this under the
repository admin page (which is something like