git: update grep options