Dmitry Vyukov b712935571 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.		2020-08-05 09:18:56 +02:00
..
workflows	tools/check-commits.sh: fix commit range detection	2020-08-05 09:18:56 +02:00
CODEOWNERS	.github/CODEOWNERS: assign vendor/ changes to dvyukov	2020-07-04 12:04:37 +02:00