diff --git a/docs/THANKS b/docs/THANKS index e02c361700..16a3b907b2 100644 --- 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 37f1e5835b..d0ebd60f46 100755 --- 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 47438701cd..b2e89f1588 100755 --- 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 | \