maint: detect a new type of duplicate in THANKS.in

* cfg.mk (sc_THANKS_in_duplicates): New rule.

diff --git a/cfg.mk b/cfg.mk
index 7a86c2a491837b867dcf47de6ce8a287f90b99c0..040d7e17f123e4248ccf0ae1bca8699bffac73ee 100644 (file)
--- a/cfg.mk
+++ b/cfg.mk
@@ -413,6 +413,19 @@ sc_preprocessor_indentation:
          echo '$(ME): skipping test $@: cppi not installed' 1>&2;      \
        fi
 
+# THANKS.in is a list of name/email pairs for people who are mentioned in
+# commit logs (and generated ChangeLog), but who are not also listed as an
+# author of a commit.  Name/email pairs of commit authors are automatically
+# extracted from the repository.  As a very minor factorization, when
+# someone who was initially listed only in THANKS.in later authors a commit,
+# this rule detects that their pair may now be removed from THANKS.in.
+sc_THANKS_in_duplicates:
+       { git log --pretty=format:%aN | sort -u;                        \
+           cut -b-36 THANKS.in | sed '/^$$/d;s/  *$$//'; }             \
+         | sort | uniq -d | grep .                                     \
+           && { echo '$(ME): remove the above names from THANKS.in'    \
+                 1>&2; exit 1; } || :
+
 # Override the default Cc: used in generating an announcement.
 announcement_Cc_ = $(translation_project_), \
   coreutils@gnu.org, coreutils-announce@gnu.org