diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-01-16 21:59:55 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-01-17 17:14:11 +0100 |
| commit | 3b74730dc9c8f2913a947ee5ab4c9e69251a67c0 (patch) | |
| tree | 555666afc8e8dc392742e39c23bf85d5cd303869 /executor | |
| parent | e364ddead32bae26403470a6175511d3b3fb8ac1 (diff) | |
syz-gce: recover after git pull errors
One of builders got into error loop:
Jan 16 20:55:45 syz-gce-next syz-gce[15380]: 2017/01/16 20:55:45 failed to run git [pull]: exit status 128
Jan 16 20:55:45 syz-gce-next syz-gce[15380]: error: Pull is not possible because you have unmerged files.
Jan 16 20:55:45 syz-gce-next syz-gce[15380]: hint: Fix them up in the work tree, and then use 'git add/rm <file>'
Jan 16 20:55:45 syz-gce-next syz-gce[15380]: hint: as appropriate to mark resolution and make a commit.
Jan 16 20:55:45 syz-gce-next syz-gce[15380]: fatal: Exiting because of an unresolved conflict.
No local changes were made to the repo. It was somehow caused by too many changed files or something.
Make pull more robust: in case of any errors re-clone the repo.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions