summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJelle Raaijmakers <jelle@gmta.nl>2023-01-20 00:32:02 +0100
committerLinus Groh <mail@linusgroh.de>2023-01-19 23:48:57 +0000
commit100c8f9bcfd7c2e8096a7b2f8cc1b5da5227bf49 (patch)
tree32db50a60e1280026f1a38c2018f420425705617 /.github
parentbe8907e6bb47f55ee65009cdcefdbe40fa9099c7 (diff)
downloadserenity-100c8f9bcfd7c2e8096a7b2f8cc1b5da5227bf49.zip
CI: Add GitHub author presence check in commit linter
If GitHub is unable to match a commit's author to a GitHub user, the `.author` object is set to `null` in the API's response.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/lintcommits.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/lintcommits.yml b/.github/workflows/lintcommits.yml
index ade728c8db..f90630f1a7 100644
--- a/.github/workflows/lintcommits.yml
+++ b/.github/workflows/lintcommits.yml
@@ -66,7 +66,7 @@ jobs:
const errors = [];
for (const { sha, commit: { message }, author } of commits) {
- if (excludedBotIds.includes(author.id)) {
+ if (author !== null && excludedBotIds.includes(author.id)) {
continue;
}
const commitErrors = [];