scripts: catch Credits-to contributors

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

Closes #21653
This commit is contained in:
Viktor Szakats 2026-05-17 13:33:07 +02:00
parent e8c1023b00
commit 64adc43a6e
No known key found for this signature in database
3 changed files with 3 additions and 2 deletions

View file

@ -602,6 +602,7 @@ Christopher Reid
Christopher R. Palmer
Christopher Sauer
Christopher Stone
Christopher Wellons
Christoph Jabs
Christoph Krey
Christoph M. Becker

View file

@ -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 | \

View file

@ -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 | \