Hi, On Thu, Jan 20, 2011 at 11:54 PM, Jeff King <peff@xxxxxxxx> wrote: > On Thu, Jan 20, 2011 at 01:43:17PM -0800, Junio C Hamano wrote: >> I personally like this line of thought, especially as a thought experiment >> to see what corner cases we could find, but I doubt I will be able to say >> we covered all the corner cases with confidence without thinking long and >> very hard. ÂFor now, I do not find this issue worth spending that kind of >> deep thinking, especially when a lot simpler and easier to explain >> workaround is available, but others may disagree and perfect your idea. > > Yeah, after reading your response and considering a bit, I think the > simple "don't make HEAD" thing (or at least "don't pull or push HEAD") > is a sane workaround. I don't fully understand the issue, so excuse me if this is totally wrong, but wouldn't a rule like 'you can't create a branch for which there's already a symbolic ref' do the trick? -- Felipe Contreras -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html