From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 30 Jul 2020 23:06:09 GMT
Subject: Re: [PATCH v3 00/20] Maintenance builtin, allowing 'gc --auto' customization
Message-ID: <xmqq4kpo7gda.fsf@gitster.c.googlers.com>
In-Reply-To: <pull.671.v3.git.1596147867.gitgitgadget@gmail.com>

"Derrick Stolee via GitGitGadget" <gitgitgadget@gmail.com> writes:

>  * I added and updates Junio's patch from jc/no-update-fetch-head into the
>    proper place before the 'prefetch' task. The 'prefetch' task now uses
>    --no-write-fetch-head to avoid issues with FETCH_HEAD.

The update to tests for "git pull" looks reasonable, too.

Thanks.