2018-01-02 09:47:31 -05:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
# see also ".mailmap" for how email addresses and names are deduplicated
|
2021-12-20 19:44:40 -05:00
|
|
|
OUT="${1:-.}"
|
2018-01-02 09:47:31 -05:00
|
|
|
{
|
|
|
|
|
cat <<-'EOH'
|
|
|
|
|
# This file lists all individuals having contributed content to the repository.
|
|
|
|
|
# For how it is generated, see `scripts/docs/generate-authors.sh`.
|
|
|
|
|
EOH
|
|
|
|
|
echo
|
|
|
|
|
git log --format='%aN <%aE>' | LC_ALL=C.UTF-8 sort -uf
|
2021-12-20 19:44:40 -05:00
|
|
|
} > "$OUT/AUTHORS"
|
|
|
|
|
cat "$OUT/AUTHORS"
|
