commit | 72ab852ca503d1c8e32e493edc3fa3e1157e930b | [log] [tgz] |
---|---|---|
author | Mike Frysinger <vapier@google.com> | Tue Oct 01 00:18:46 2019 -0400 |
committer | Mike Frysinger <vapier@google.com> | Tue Oct 01 05:45:58 2019 +0000 |
tree | 842079bd38846936cb6f3da6d73f17d20ea478db | |
parent | 0a9265e2d633b608090eff79ab4553f0e1c8c7c4 [diff] |
grep: handle errors gracefully If `git grep` fails in any project checkout (e.g. an incomplete sync), make sure we print that error clearly rather than blowing up, and exit non-zero in the process. Bug: https://crbug.com/gerrit/11613 Change-Id: I31de1134fdcc7aaa9814cf2eb6a67d398eebf9cf Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/239237 Reviewed-by: David Pursehouse <dpursehouse@collab.net> Tested-by: Mike Frysinger <vapier@google.com>
Repo is a tool built on top of Git. Repo helps manage many Git repositories, does the uploads to revision control systems, and automates parts of the development workflow. Repo is not meant to replace Git, only to make it easier to work with Git. The repo command is an executable Python script that you can put anywhere in your path.