Re: Concurrent fetch commands

From: Stefan Haller <lists@haller-berlin.de>
Date: Jan 1, 2024, 11:30 UTC
Message-ID: <9b5ff583-f8b9-42dd-8829-2fea74bc2057@haller-berlin.de>
In-Reply-To: <xmqqy1daffk8.fsf@gitster.g>

On 31.12.23 18:27, Junio C Hamano wrote:

Show 5 quoted lines

> How this _ought_ to work is
> 
>    ... it should notice and
>    barf, saying "fatal: a 'git fetch' is already working" or
>    something.

Interesting, I had expected this to work somehow, e.g. by sequencing the operations or whatever is necessary to make it work. Fixing the bug like you suggest actually makes very little difference in practice, it just gives a slightly less confusing error message.

> but it is a crime to run them without the "--no-fetch-head" option.

Ouch, I wasn't aware we are committing crimes. We'll accept the punishment. :-)

But it does sound like --no-write-fetch-head will solve our problem, thanks!

-Stefan