From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 23 Mar 2022 21:41:26 GMT
Subject: Re: [PATCH v2 0/3] reset: make --no-refresh the only way to skip index refresh
Message-ID: <xmqq5yo4qrcp.fsf@gitster.g>
In-Reply-To: <pull.1184.v2.git.1648059480.gitgitgadget@gmail.com>

"Victoria Dye via GitGitGadget" <gitgitgadget@gmail.com> writes:

> Changes since V1
> ================
>
>  * Dropped patch that removed '--refresh', again allowing both
>    '--no-refresh' and '--refresh' as valid options.

Makes sense.  Thanks for suggesting this, Phillip.

>  * Updated documentation of "--refresh" option to remove unnecessary
>    "proactively".

OK.

>  * Reworded commit titles to change "deprecate" to the more accurate
>    "remove".

OK.

Will queue.  Thanks.