4 Commits

Author	SHA1	Message	Date
Dmitry Vyukov	4ca1c0ea44	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.	2020-08-06 11:49:45 +02:00
Marco Elver	f94b533a4b	tools/check-commits: allow canonical 'git revert' format ... Allow the canonical 'git revert' format.	2020-08-06 11:49:26 +02:00
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
Dmitry Vyukov	d895b3be2c	.github/workflows: check commit description format ... Check PR commit subjects for the standard format we use "pkg/name: description of the change". Check PR commit bodies for at most 120 characters.	2020-07-31 17:22:18 +02:00