From: Carlos Pereira <jose.carlos.pereira@ist.utl.pt>
Date: Sun, 09 Mar 2014 23:58:59 GMT
Subject: Re: howto to run git without a master branch
Message-ID: <531D0043.5060507@ist.utl.pt>
In-Reply-To: <531CE837.1080504@gmail.com>


> There is a "git remote set-head" to manipulate HEAD in a remote 
> repository.
Thanks, that is useful (like git symbolic-ref HEAD master-x suggested by 
Kevin, much better than editing the text file)
> I agree that this might be viewed as a user experience issue.
> But I can not come up with a possible solution.  Can you?
The branch where the user was when he/she pushed the repo to the server? 
it would be his/her responsibility to checkout the proper branch before 
pushing... if that was not good enough than he/she could always use git 
remote set-head... my point is: pointing to a bad branch that exists 
seems better than pointing to a branch that does not exist...

Anyway I agree this is not important, as we can easily change HEAD.
> I do not think there should be any issues.
Thank you very much for your answers,

Carlos