Re: [PATCH 00/28] Use main as default branch name

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Nov 18, 2020, 00:18 UTC
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:

Show 8 quoted lines

> > 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

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.