diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-11-07 13:30:25 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-11-07 13:31:00 +0100 |
| commit | 8f3e774b76b4fb0955dc360bb82d66a2c4bb3b39 (patch) | |
| tree | c018fa81d7e114de5c0758c8bc3c759d1a3af0ac /docs/linux | |
| parent | c1c91039f78f1920c923fa9294166257276c886a (diff) | |
syz-ci: improve commit matching
1. Fetch last 200K commits instead of commits for past year.
For merged commits both author date and commit date can be
arbitrary long in past (e.g. we got a commit dated by 2014).
2. Strip some commit prefixes from commits.
We have some trees where backports are prefixed with "BACKPORT:".
Previously we could no match such commits.
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions