[PR PATCH] scripts/lint-commits: report github noreply emails

[paper42 <paper42@users.noreply.github.com>]

[-- Attachment #1: Type: text/plain, Size: 358 bytes --]

There is a new pull request by paper42 against master on the void-packages repository

https://github.com/paper42/void-packages lint-commits-noreply
https://github.com/void-linux/void-packages/pull/31053

scripts/lint-commits: report github noreply emails
ping @sgn 

A patch file from https://github.com/void-linux/void-packages/pull/31053.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-lint-commits-noreply-31053.patch --]
[-- Type: text/x-diff, Size: 780 bytes --]

From b6cd2a91b9d84f54a5aa2f849beb06eb1e21405e Mon Sep 17 00:00:00 2001
From: Michal Vasilek <michal@vasilek.cz>
Date: Fri, 21 May 2021 19:06:36 +0200
Subject: [PATCH] scripts/lint-commits: report github noreply emails

---
 common/scripts/lint-commits | 1 +
 1 file changed, 1 insertion(+)

diff --git a/common/scripts/lint-commits b/common/scripts/lint-commits
index 785bf0ef1d0d..821a361f8e16 100755
--- a/common/scripts/lint-commits
+++ b/common/scripts/lint-commits
@@ -31,6 +31,7 @@ for cmt in $("$GIT_CMD" rev-list --abbrev-commit $base..$tip)
 do
 	"$GIT_CMD" cat-file commit "$cmt" |
 	awk -vC="$cmt" '
+	(NR == 3) && /@users\.noreply\.github\.com>/ { print C ": commit author has a github noreply email" }
 	# skip header
 	/^$/ && !msg { msg = 1; next }
 	!msg { next }