Re: Fetch origin/HEAD during git fetch

From: Jonathan Nieder <jrnieder@gmail.com>
Date: Oct 9, 2019, 02:24 UTC
Message-ID: <20191009022457.GB73710@google.com>
In-Reply-To: <CAEXP2g8-reK+u2FaO=mMP-nsvuDDWGpwV_tyKG5L5XpU=1LQeg@mail.gmail.com>

Hi!

Dominik Salvet wrote:

Show 9 quoted lines

> 1) `git fetch origin && git remote set-head origin -a`
> 2) `git fetch origin +refs/heads/*:refs/remotes/origin/*
> HEAD:refs/remotes/origin/HEAD`
> 3) instead of git init and remote, use directly `git clone --no-checkout`
>
> The first solution is not suitable due its delay caused by remote
> access (2 separate invocations). For smaller repositories, delays of
> these individual commands are almost comparable. However, this
> solution is semantically exactly what I want.

Interesting.

For the specific case, it sounds like some kind of "git fetch --also-set-head" would do the trick for you. As you can see, I'm awful at naming command line options --- aside from the need to give it a better name, any others thoughts on that? Would you be interested in taking a stab at implementing it?

For the more general case, there's been some discussion of fetching and pushing symrefs on-list before. [1] discusses one possible UI.

[...]

> The third solution has several problems. The first one is the created
> default local branch. So delete it.

Hm, I don't follow. Does "git checkout --orphan" do what you're looking for?

Thanks and hope that helps, Jonathan

[1] https://public-inbox.org/git/20180814214723.GA667@sigill.intra.peff.net/