diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-08-05 08:32:06 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-08-05 09:18:56 +0200 |
| commit | b712935571355df44e126c5b27c98ccd53d1d18b (patch) | |
| tree | 8d5e23736a01dd3c852c5578a82c52f123f027f8 /executor/test_linux.h | |
| parent | 09121a7396578abef95aec720b7cee24debf9b0d (diff) | |
tools/check-commits.sh: fix commit range detection
We currently check from github.event.pull_request.base.sha
to github.event.pull_request.head.sha, but they may be in
different branches if the PR commits are branched not from
the latest master HEAD (at the time of PR creation).
Then GH will create a merge commit, and the range we try
to check is not valid.
Check github.event.pull_request.commits commits backwards
from github.event.pull_request.head.sha commit.
Diffstat (limited to 'executor/test_linux.h')
0 files changed, 0 insertions, 0 deletions