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'
|
2022-12-01 04:05:22 -05:00
|
|
|
# File @generated by scripts/docs/generate-authors.sh. DO NOT EDIT.
|
|
|
|
|
# This file lists all contributors to the repository.
|
|
|
|
|
# See scripts/docs/generate-authors.sh to make modifications.
|
2018-01-02 09:47:31 -05:00
|
|
|
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"
|
