build: avoid including PR authors' emails in commit footers

---
type: pre_commit_static_analysis_report
description: Results of running static analysis checks when committing changes.
report:
  - task: lint_filenames
    status: passed
  - task: lint_editorconfig
    status: passed
  - task: lint_markdown
    status: na
  - task: lint_package_json
    status: na
  - task: lint_repl_help
    status: na
  - task: lint_javascript_src
    status: na
  - task: lint_javascript_cli
    status: na
  - task: lint_javascript_examples
    status: na
  - task: lint_javascript_tests
    status: na
  - task: lint_javascript_benchmarks
    status: na
  - task: lint_python
    status: na
  - task: lint_r
    status: na
  - task: lint_c_src
    status: na
  - task: lint_c_examples
    status: na
  - task: lint_c_benchmarks
    status: na
  - task: lint_c_tests_fixtures
    status: na
  - task: lint_shell
    status: na
  - task: lint_typescript_declarations
    status: na
  - task: lint_typescript_tests
    status: na
  - task: lint_license_headers
    status: passed
---

Author: Planeshifter

.github/workflows/scripts/generate_pr_commit_message

@@ -153,6 +153,30 @@ main() {
 	# Resolve the PR author's name and email using .mailmap:
 	pr_author_resolved=$(resolve_user "$pr_author_login")
 
+	pr_author_id=$(echo "$pr_details" | jq -r '.user.id')
+	pr_author_emails=$(
+	{
+		# 1) the address obtained via .mailmap
+		echo "$pr_author_resolved"
+
+		# 2) the default GitHub‑generated noreply address
+		echo "$pr_author_login@users.noreply.github.com"
+
+		# 3) ID+login GitHub noreply address (needed for bots & private e‑mails)
+		echo "${pr_author_id}+${pr_author_login}@users.noreply.github.com"
+
+		# 4) any address that appears in commits whose author *login* matches
+		echo "$pr_commits" | jq -r --arg login "$pr_author_login" '
+			.[]
+			| select(.author.login==$login or .committer.login==$login)
+			| .commit.author.email
+		'
+	} |
+	sed -E 's/^.*<([^>]+)>.*/\1/' | # Keep only the e‑mail part
+	tr "[:upper:]" "[:lower:]" |
+	sort -u
+	)
+
 	# Extract reviewers:
 	pr_reviews=$(github_api "GET" "/repos/$REPO_OWNER/$REPO_NAME/pulls/$pr_number/reviews")
 	reviewers=$(echo "$pr_reviews" | jq -r '.[] | select(.state == "APPROVED" ) | .user.login' | sort -u)
@@ -173,8 +197,12 @@ main() {
 		email=$(echo "$name_email" | sed -E 's/^.*<(.*)>$/\1/' | xargs)
 		resolved_author=$(resolve_name_email "$name" "$email")
 
-		# Skip if the resolved author matches the resolved PR author:
-		if [ "$resolved_author" == "$pr_author_resolved" ]; then
+		# Skip if the resolved author's email matches any of the resolved PR author's emails:
+		resolved_email=$(echo "$resolved_author" |
+			sed -E 's/^.*<([^>]+)>.*/\1/' |
+			tr '[:upper:]' '[:lower:]')
+
+		if echo "$pr_author_emails" | grep -Fxq "$resolved_email"; then
 			continue
 		fi
 		processed_co_authors+="Co-authored-by: $resolved_author"$'\n'
@@ -198,8 +226,16 @@ main() {
 		# Resolve name and email using .mailmap:
 		resolved_author=$(resolve_name_email "$name" "$email")
 
-		# Skip if the resolved author matches the resolved PR author:
-		if [ "$resolved_author" == "$pr_author_resolved" ]; then
+
+		echo $resolved_email
+		echo $pr_author_emails
+
+		# Skip if the resolved commit author's email matches any of the resolved PR author's emails:
+		resolved_email=$(echo "$resolved_author" |
+			sed -E 's/^.*<([^>]+)>.*/\1/' |
+			tr '[:upper:]' '[:lower:]')
+
+		if echo "$pr_author_emails" | grep -Fxq "$resolved_email"; then
 			continue
 		fi