>-----Original Message----- >From: <Bjoern@xxxxxxxxxxx> On May 31, 2021 4:38 PM, Björn Kautler wrote: >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@xxxxxxxxxx:<your >namespace>/whelk.git && git -C whelk-src push gitlab >refs/remotes/origin/*:refs/heads/* && git clone git@xxxxxxxxxx: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
