diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-08-06 08:28:18 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-08-06 11:49:45 +0200 |
| commit | 4ca1c0ea446d2c09b1fb49a85ae645e3754f1058 (patch) | |
| tree | ccaceb3423c45210fb301f9e79b16b16f1eaefea /executor/executor_test.h | |
| parent | f94b533a4b8d84b61facdcb97e4f1fb343393ceb (diff) | |
tools/check-commits.sh: use PR head instead of base
Base points to already commetted changes,
we really want to cheack head of the PR.
Diffstat (limited to 'executor/executor_test.h')
0 files changed, 0 insertions, 0 deletions