Re: [PATCH v2 0/3] reset: make --no-refresh the only way to skip index refresh
- From
- Phillip Wood <phillip.wood123@gmail.com>
- Date
- Mar 24, 2022, 11:11 UTC
- 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:
Show 5 quoted lines
> 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