From: Phillip Wood <phillip.wood123@gmail.com>
Date: Thu, 24 Mar 2022 11:11:02 GMT
Subject: Re: [PATCH v2 0/3] reset: make --no-refresh the only way to skip index refresh
Message-ID: <6d424915-5c63-bebd-f3b5-f153a541d077@gmail.com>
In-Reply-To: <pull.1184.v2.git.1648059480.gitgitgadget@gmail.com>

Hi Victoria

On 23/03/2022 18:17, Victoria Dye via GitGitGadget wrote:

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

I should have been clearer in my comments that I think changing the 
option name no '--no-refresh' whilst retaining '--refresh' is 
worthwhile. '--no-refresh' is the form that users will want most of the 
time and changing the option name means that the useful version will be 
shown by "reset -h".

The range-diff for the other changes looks good

Best Wishes

Phillip