diff --git a/.mailmap b/.mailmap new file mode 100644 index 000000000..c65395e89 --- /dev/null +++ b/.mailmap @@ -0,0 +1,15 @@ +# Generate CONTRIBUTORS.md: contributors.sh + +# Tip for finding duplicates (besides scanning the output of CONTRIBUTORS.md for name +# duplicates that aren't also email duplicates): scan the output of: +# git log --format='%aE - %aN' | sort -uf +# +# For explanation on this file format: man git-shortlog + +Anand Babu (AB) Periasamy +Anis Elleuch +Frederick F. Kautz IV +Harshavardhana +Harshavardhana +Harshavardhana +Matthew Farrellee \ No newline at end of file diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md new file mode 100644 index 000000000..a5861ad5d --- /dev/null +++ b/CONTRIBUTORS.md @@ -0,0 +1,8 @@ +## Contributors + + +- Anand Babu (AB) Periasamy +- Anis Elleuch +- Frederick F. Kautz IV +- Harshavardhana +- Matthew Farrellee diff --git a/contributors.sh b/contributors.sh new file mode 100755 index 000000000..ffb3655a2 --- /dev/null +++ b/contributors.sh @@ -0,0 +1,15 @@ +#!/bin/bash +set -e + +cd "$(dirname "$(readlink -f "$BASH_SOURCE")")" + +# see also ".mailmap" for how email addresses and names are deduplicated + +{ + cat <<-'EOH' +## Contributors + + EOH + echo + git log --format='%aN <%aE>' | LC_ALL=C.UTF-8 sort -uf | sed 's/^/- /g' +} > CONTRIBUTORS.md