Jeff King [off-list ref] writes:
Here it is with a commit message and some tests. While it is a minor
change, we are pretty late in the release cycle, so perhaps it is best
to leave it post-1.7.0 just to be on the safe side.
Your explanation that "-- marks the end of options" makes perfect sense
and it is not inconsistent with what we do either. "grep" is an oddball
that among its non-option arguments the first one _can_ be a non-path
(namely, the single pattern you are looking for), but with your patch,
that logic is nicely expressed, too.
I am tempted to push it into 1.7.0 but I'd keep it in 'next' for now.
Thanks.