Re: [PATCH] gitk: disable checkout of remote branch

Jeff King [off-list ref] writes:

quoted

Isn't it quite different?  What's in 'next' for 1.7.0 is to guess the
user's intention when:

Sorry, yes, I just saw Sverre's comment and misread the original
proposal.  Checking out "$remote/$branch" will still detach the HEAD,
and I don't think anybody has a previous proposal to change that.

Heh, I think both of us forgot that we decided it is safe enough not to
wait for 1.7.0 already, because the situation this kicks in has always
resulted in an error.  We have it in master since e3de372 (Merge branch
'jc/checkout-auto-track', 2009-10-30).