diff options
| author | Mike Frysinger <vapier@google.com> | 2021-03-25 01:58:20 -0400 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2021-03-25 23:08:51 +0000 |
| commit | ddab0604eee41e26572f0cf9f3fd5ff7a0637594 (patch) | |
| tree | 49bf3180b007ea4dd457fdde4b6f719ed3ef4c86 /subcmds/grep.py | |
| parent | 2ae44d7029fd435be96ba48eb1e367241c36c940 (diff) | |
| download | git-repo-ddab0604eee41e26572f0cf9f3fd5ff7a0637594.tar.gz | |
forall: handle missing project refs betterv2.13.8
If the project exists, but the ref the manifest wants doesn't exist,
don't throw an error (and abort the process in general). This can
come up with a partially synced tree: the manifest is up-to-date,
but not all the projects have yet been synced.
Bug: https://crbug.com/gerrit/14289
Change-Id: Iba97413c476544223ffe518198c900c2193a00ed
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/301262
Reviewed-by: LaMont Jones <lamontjones@google.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'subcmds/grep.py')
0 files changed, 0 insertions, 0 deletions