Mike Frysinger 72ab852ca5 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>
2019-10-01 05:45:58 +00:00
2019-10-01 05:45:58 +00:00
2016-09-14 09:49:02 +02:00
2013-03-08 01:18:08 +00:00
2017-05-26 21:44:57 +09:00
2019-06-13 14:30:52 +00:00
2008-10-21 07:00:00 -07:00
2019-06-13 14:30:52 +00:00
2019-06-13 14:30:52 +00:00
2019-08-27 07:08:52 +00:00
2019-08-27 07:08:52 +00:00
2019-06-13 13:23:19 -04:00
2019-07-16 00:23:16 +00:00
2019-06-13 14:30:52 +00:00
2019-10-01 05:44:09 +00:00
2018-12-20 02:11:46 -05:00
2019-09-18 08:25:49 +00:00
2019-08-27 07:08:52 +00:00
2019-07-31 08:38:19 +00:00

repo

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.

Description
No description provided
Readme Apache-2.0 35 MiB
Languages
Python 99.1%
Shell 0.9%