RE: Bug when cloning a repository with a default branch called HEAD

From: Randall S. Becker <rsbecker@nexbridge.com>
Date: May 31, 2021, 20:45 UTC
Message-ID: <00a401d7565d$f20fd4b0$d62f7e10$@nexbridge.com>
In-Reply-To: <CAKChYSpGJ8WHsYRgYL9M8rr7Dp_SLrUuRsTONqNO3CTnX2DQ_Q@mail.gmail.com>

>-----Original Message-----
>From: <Bjoern@kautler.net>

On May 31, 2021 4:38 PM, Björn Kautler wrote:

Show 8 quoted lines

>Subject: Re: Bug when cloning a repository with a default branch called HEAD
>It happens the same no matter whether on Windows or Linux.
>I now also have a reproduction recipe on how to get into that state.
>- Create the `whelk` repository with standard settings, nothing for default branch or anything is necessary
>- Execute this: git clone https://github.com/seveas/whelk.git
>whelk-src && git -C whelk-src remote add gitlab git@gitlab.com:<your
>namespace>/whelk.git && git -C whelk-src push gitlab
>refs/remotes/origin/*:refs/heads/* && git clone git@gitlab.com:git-spindle-test-vampire-1/whelk.git && git -C whelk fetch

According to GitHub, the default branch for this repo is "main" not "HEAD". AFAIK, HEAD is a reserved ref in git and I don't think this would or should work.

Just saying. Randall