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