scripts: catch Credits-to contributors

Also:
- THANKS: add Credits-to attribution missed earlier.

Closes #21653

diff --git a/docs/THANKS b/docs/THANKS
index e02c36170096dd795c9e0c6d7a7c63f34b86851b..16a3b907b25c93ec117011031803445166729995 100644 (file)
--- a/docs/THANKS
+++ b/docs/THANKS
@@ -602,6 +602,7 @@ Christopher Reid
 Christopher R. Palmer
 Christopher Sauer
 Christopher Stone
+Christopher Wellons
 Christoph Jabs
 Christoph Krey
 Christoph M. Becker

diff --git a/scripts/contributors.sh b/scripts/contributors.sh
index 37f1e5835bb8ad0c643968770ddf152181773350..d0ebd60f4681286d17a598850b1eb2758d36d09d 100755 (executable)
--- a/scripts/contributors.sh
+++ b/scripts/contributors.sh
@@ -62,7 +62,7 @@ CURLWWW="${CURLWWW:-../curl-www}"
       git -C "$CURLWWW" log --pretty=full --use-mailmap "$start..HEAD"
     fi
   } | \
-  grep -Eai '(^Author|^Commit|^ +[a-z-]+-by):' | \
+  grep -Eai '(^Author|^Commit|^ +[a-z-]+-by|^Credits-to):' | \
   cut -d: -f2- | \
   cut '-d(' -f1 | \
   cut '-d<' -f1 | \

diff --git a/scripts/contrithanks.sh b/scripts/contrithanks.sh
index 47438701cdd494cf52f1f9bf32e8f5578d89a50b..b2e89f15886230d80d954618cb31607e6bd26d2d 100755 (executable)
--- a/scripts/contrithanks.sh
+++ b/scripts/contrithanks.sh
@@ -62,7 +62,7 @@ tail -n +7 ./docs/THANKS | sed 's/ github/ github/i'  > $rand
       git -C "$CURLWWW" log --use-mailmap "$start..HEAD"
     fi
   } | \
-  grep -Eai '(^Author|^Commit|^ +[a-z-]+-by):' | \
+  grep -Eai '(^Author|^Commit|^ +[a-z-]+-by|^Credits-to):' | \
   cut -d: -f2- | \
   cut '-d(' -f1 | \
   cut '-d<' -f1 | \