diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-06-15 14:29:24 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-06-15 14:29:24 -0400 |
| commit | 94fc77bb39af399a0d1256fccdc11b90c0d00cb5 (patch) | |
| tree | fe5ae9cdaa9b5c64b535d7c8416ac36b4d70a647 /.mailmap | |
| parent | 974789055ff8183521cd9fb641ec40dadd2c80c4 (diff) | |
Add .mailmap
Diffstat (limited to '.mailmap')
| -rw-r--r-- | .mailmap | 18 |
1 files changed, 18 insertions, 0 deletions
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> |