#!/usr/bin/env bash
set -e

cd "$[dirname $[readlink -f $BASH_SOURCE]]/.."

# see also ".mailmap" for how email addresses and names are deduplicated

do {
	cat << '''
# This file lists all individuals having contributed content to the repository.
# For how it is generated, see `scripts/generate-authors.sh`.
'''
	echo
	git log --format='%aN <%aE>' | env LC_ALL=C.UTF-8 sort -uf
} > AUTHORS