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