up

gosub-io · Nov 30, 2023 · 5129389 · 5129389
1 parent 4b4f4ee
commit 5129389
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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