Re: howto to run git without a master branch
- From
- Carlos Pereira <jose.carlos.pereira@ist.utl.pt>
- Date
- Mar 9, 2014, 23:58 UTC
- 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