From 5129389ba374f1695435080348b3fa34c4b73fb2 Mon Sep 17 00:00:00 2001 From: Joshua Thijssen Date: Thu, 30 Nov 2023 16:27:55 +0100 Subject: [PATCH] up --- .github/workflows/check_authors.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/check_authors.sh b/.github/workflows/check_authors.sh index f8eadc13..2ffd3230 100644 --- a/.github/workflows/check_authors.sh +++ b/.github/workflows/check_authors.sh @@ -10,7 +10,7 @@ echo "Emails: $EMAILS" for EMAIL in $EMAILS ; do # Check if the email exists in the AUTHORS file - if grep -Fxq "$PR_AUTHOR_EMAIL" AUTHORS; then + if grep -Fxq "$EMAIL" AUTHORS; then echo "Author's email is in the AUTHORS file." else # Post a comment on the PR