From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Wed, 18 Nov 2020 00:18:03 GMT
Subject: Re: [PATCH 00/28] Use main as default branch name
Message-ID: <CAMP44s1HhiDYfji9L2sj3QbCDmsb9dnrLCS6cQJPbmS1F3vKoQ@mail.gmail.com>
In-Reply-To: <20201117233313.GB642410@coredump.intra.peff.net>

On Tue, Nov 17, 2020 at 5:33 PM Jeff King <peff@peff.net> wrote:
> On Tue, Nov 17, 2020 at 04:47:56PM -0600, Felipe Contreras wrote:

> > This should be easy to do if we make "origin" be a pseudo ref that
> > points to "origin/HEAD" (and we could introduce "origin/@").
>
> Didn't we already do this long ago? refs/remotes/%s/HEAD is special in
> the dwim_ref() lookup:
>
>   $ git rev-parse --symbolic-full-name origin
>   refs/remotes/origin/master

Hmmm. For some reason none of my remotes do have a HEAD.

If I do "git remote add", and then fetch, the HEAD doesn't seem to be present.

-- 
Felipe Contreras