Re: [PATCH v2 0/3] reset: make --no-refresh the only way to skip index refresh

[Junio C Hamano <gitster@xxxxxxxxx>]

"Victoria Dye via GitGitGadget" <gitgitgadget@xxxxxxxxx> 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.