diff options
| author | Mike Frysinger <vapier@google.com> | 2019-09-30 23:47:03 -0400 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2019-10-01 05:43:51 +0000 |
| commit | dc1b59d2c0a7ee00b7e6b111285360c4cff32d2b (patch) | |
| tree | 504d0452e5a31556bbcc3b0f1a0e821001d22938 /subcmds/diff.py | |
| parent | 71b0f312b15b597ab54d4d3bd6629efdcf188884 (diff) | |
| download | git-repo-dc1b59d2c0a7ee00b7e6b111285360c4cff32d2b.tar.gz | |
forall: exit 1 if we skip any repos
If a repo doesn't exist (e.g. an incomplete sync), make sure we exit
non-zero when they get skipped.
Change-Id: Ifff711e374416b1e6b9b8da4fdc6f14b27ced450
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/239235
Reviewed-by: David Pursehouse <dpursehouse@collab.net>
Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'subcmds/diff.py')
0 files changed, 0 insertions, 0 deletions