grep: do not unnecessarily query repo for "--"