generate-authors.sh

#!/bin/bash
set -e

CURDIR=$(cd "$(dirname "$0")"; pwd);
cd "${CURDIR}"

# 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 `generate-authors.sh`.
	EOH
	echo
	git log --format='%aN <%aE>' | LC_ALL=C.UTF-8 sort -uf
} > AUTHORS