| commit | dff919493aae85d2462b614c9cb4eedeb23fdb96 | [log] [tgz] |
|---|---|---|
| author | Vadim Bendebury <vbendeb@chromium.org> | Wed Nov 06 11:05:00 2019 -0800 |
| committer | Vadim Bendebury <vbendeb@google.com> | Tue Nov 12 21:08:54 2019 +0000 |
| tree | 2814d645998ea02f7de8ca068aa1f76768337799 | |
| parent | 3164d40e2247d42537aef8e80fa7e048e14bec9f [diff] |
sync: report list of failing git trees
When repo sync fails because some git trees are not in clean state and
as such can not be rebased automatically, it is a pain to figure out
which trees are the culprits.
With this patch the list of offending trees is printed when repo sync
reports checkout errors.
TEST=ran 'repo sync' and observed the proper list of directories show
up after the final error message
Bug: https://crbug.com/gerrit/11293
Change-Id: Icdf1a03e9014ecb184f331f513cc9a2efc7d11ed
Signed-off-by: Vadim Bendebury <vbendeb@google.com>
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/244053
Reviewed-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.