#!/bin/bash | |
set -e | |
cd "$(dirname "$(readlink -f "$BASH_SOURCE")")/.." | |
# see also ".mailmap" for how email addresses and names are deduplicated | |
{ | |
cat <<-'EOH' | |
# This file lists all individuals having contributed content to the repository. | |
# For how it is generated, see `hack/generate-authors.sh`. | |
EOH | |
echo | |
git log --format='%aN <%aE>' | LC_ALL=C.UTF-8 sort -uf | |
} > AUTHORS |