diff options
| author | Mike Frysinger <vapier@google.com> | 2019-09-23 19:21:20 -0400 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2020-02-05 21:37:20 +0000 |
| commit | 5a03308c5c5f8dbfab05bfe726337dafc10b0c85 (patch) | |
| tree | 40078193ca127a493d5512e0d616149342c9dd1c /platform_utils_win32.py | |
| parent | 3ba716f3823c010a9788077d9515c26db5d58f11 (diff) | |
| download | git-repo-5a03308c5c5f8dbfab05bfe726337dafc10b0c85.tar.gz | |
sync: try to checkout repos across sync failures
Currently our default behavior is:
* Try to sync all repos
* If any errors seen, exit
* Try to garbage collect all repos
* If any errors seen, exit
* Try to update local project list
* If any errors seen, exit
* Try to checkout out all local repos
* If any errors seen, exit
Users find these incomplete syncs confusing, so lets try to complete
as much as possible by default and printing out summaries at the end.
Bug: https://crbug.com/gerrit/11293
Change-Id: Idd17cc9c3bbc574d8a0f08a30225dec7bfe414cb
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/238554
Reviewed-by: Michael Mortensen <mmortensen@google.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'platform_utils_win32.py')
0 files changed, 0 insertions, 0 deletions