Merge pull request #612 from harshavardhana/pr_out_add_contributors_file

.mailmap

@@ -0,0 +1,15 @@
+# Generate CONTRIBUTORS.md: contributors.sh
+
+# Tip for finding duplicates (besides scanning the output of CONTRIBUTORS.md for name
+# duplicates that aren't also email duplicates): scan the output of:
+#   git log --format='%aE - %aN' | sort -uf
+#
+# For explanation on this file format: man git-shortlog
+
+Anand Babu (AB) Periasamy <ab@unlocksmith.org> <abperiasamy@users.noreply.github.com>
+Anis Elleuch <vadmeste@gmail.com>
+Frederick F. Kautz IV <fkautz@minio.io> <fkautz@alumni.cmu.edu>
+Harshavardhana <harsha@minio.io> <harsha@harshavardhana.net>
+Harshavardhana <harsha@minio.io> <badger@gitter.im>
+Harshavardhana <harsha@minio.io>
+Matthew Farrellee <matt@cs.wisc.edu>

CONTRIBUTORS.md

@@ -0,0 +1,8 @@
+## Contributors
+<!-- DO NOT EDIT - CONTRIBUTORS.md is autogenerated from git commit log by contributors.sh script. -->
+
+- Anand Babu (AB) Periasamy <ab@unlocksmith.org>
+- Anis Elleuch <vadmeste@gmail.com>
+- Frederick F. Kautz IV <fkautz@minio.io>
+- Harshavardhana <harsha@minio.io>
+- Matthew Farrellee <matt@cs.wisc.edu>

contributors.sh

@@ -0,0 +1,15 @@
+#!/bin/bash
+set -e
+
+cd "$(dirname "$(readlink -f "$BASH_SOURCE")")"
+
+# see also ".mailmap" for how email addresses and names are deduplicated
+
+{
+	cat <<-'EOH'
+## Contributors
+<!-- DO NOT EDIT - CONTRIBUTORS.md is autogenerated from git commit log by contributors.sh script. -->
+	EOH
+	echo
+	git log --format='%aN <%aE>' | LC_ALL=C.UTF-8 sort -uf | sed 's/^/- /g'
+} > CONTRIBUTORS.md