summaryrefslogtreecommitdiff
path: root/tools/lint-pr-commit-message.sh
AgeCommit message (Expand)Author
2018-11-30tools: don't use GH API for commit message checksRod Vagg
2018-11-04tools: add script to lint first PR commit messageRichard Lau