Junio C Hamano <gitster@xxxxxxxxx> writes: > - When we fetch from a remote that has refs/remotes/$name/HEAD, and > if the protocol notices that their HEAD today is pointing to a > branch different from what our side has, should we repoint ours > to match? > > I am leaning against doing this, but mostly out of superstition. > ... > interested in". But once fetch starts messing with where > origin/HEAD points at, that would no longer be the case, which is > why I am against doing something magical like that. Well, I shouldn't say "I am against" on the last line; rather, "I feel uneasy".
