Re: [PATCH V3] check-ignore: Add option to ignore index contents

Dave Williams [off-list ref] writes:

On 15:27, Thu 05 Sep 13, Junio C Hamano wrote:

quoted

Now the long option name is "--no-index", it makes me wonder if "-i"
is a good synonym for it, and the longer I stare at it, the more
certain I become convinced that it is a bad choice.

I had originally called it "--ignore-index" at which point "-i" made
more sense!

I know, but with --no-index it no longer does.