mirror of
https://gerrit.googlesource.com/git-repo
synced 2026-07-27 22:38:05 +00:00
b812a36236
Users can now use 'repo grep' to search all projects, rather than 'repo forall -c git grep'. Its not only shorter to type, but it also filters results better by highlighting which projects matched in the client workspace. Signed-off-by: Shawn O. Pearce <sop@google.com>