From 94fc77bb39af399a0d1256fccdc11b90c0d00cb5 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 15 Jun 2016 14:29:24 -0400
Subject: Add .mailmap

---
 .mailmap | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 .mailmap

(limited to '.mailmap')

diff --git a/.mailmap b/.mailmap
new file mode 100644
index 000000000..7c61488f3
--- /dev/null
+++ b/.mailmap
@@ -0,0 +1,18 @@
+## This file allows joining different accounts of a single person.
+## Cf for instance: git shortlog -nse. More details via: man git shortlog
+
+# having the same name <email> name <email> on a line will fix capitalization
+Adam Chlipala <adamc@csail.mit.edu>                        Adam Chlipala <adamc@csail.mit.edu>
+Adam Chlipala <adam@chlipala.net>                          Adam Chlipala <adamc@csail.mit.edu>
+Andres Erbsen <andreser@mit.edu>                           Andres Erbsen <andreser@mit.edu>
+Jade Philipoom <jadep@mit.edu>                             Jade Philipoom <jadep@mit.edu>
+jadep <jade.philipoom@gmail.com>                           Jade Philipoom <jadep@mit.edu>
+jadep <jadep@mit.edu>                                      Jade Philipoom <jadep@mit.edu>
+Jason Gross <jgross@mit.edu>                               Jason Gross <jgross@mit.edu>
+Robert Sloan <varomodt@gmail.com>                          Robert Sloan <varomodt@gmail.com>
+Robert Sloan <varomodt@Roberts-MacBook.local>              Robert Sloan <varomodt@gmail.com>
+Robert Sloan <rsloan@sumologic.com>                        Robert Sloan <varomodt@gmail.com>
+Robert Sloan <varomodt@dhcp-18-189-26-21.dyn.MIT.EDU>      Robert Sloan <varomodt@gmail.com>
+Robert Sloan <varomodt@dhcp-18-189-51-40.dyn.MIT.EDU>      Robert Sloan <varomodt@gmail.com>
+Rob Sloan <varomodt@gmail.com>                             Robert Sloan <varomodt@gmail.com>
+varomodt <varomodt@localhost.localdomain>                  Robert Sloan <varomodt@gmail.com>
-- 
cgit v1.2.3