On Tue, Apr 4, 2023 at 12:07 PM Junio C Hamano <gitster@xxxxxxxxx> wrote: > > Daniel Martí <mvdan@xxxxxxxx> writes: > > > I'm testing `git clone --mirror` to properly mirror a repository on > > github.com. It appears to be working well, except for keeping HEAD > > correctly in place. > > There is no such feature in "git clone" or "git fetch" to check what > branch the remote HEAD is pointing at and move the local copy around. Only because you didn't merge the patches I sent a while ago [1]. > Modern versions of Git these days have a protocol level support to > convey that information, and I think it is feasible to invent such a > feature to automatically repoint refs/remotes/$remote/HEAD to > whatever remote-tracking branch found in the refs/remotes/$remote/ > hierarchy. Or just repoint it to the remote's HEAD, which is what everyone expects. > We are pretty much "somebody should initiate the process to scratch > their own itch, and we will help them in doing so" community, so you > or somebody who reads this thread interesting will hopefully start > such an effort ;-) That has not been my experience. Even when I scratch somebody else's itch, there is not much help, and the patches don't end up being merged. Cheers. [1] https://lore.kernel.org/git/20201118091219.3341585-1-felipe.contreras@xxxxxxxxx/ -- Felipe Contreras
