diff options
Diffstat (limited to '.mailmap')
| -rw-r--r-- | .mailmap | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.mailmap b/.mailmap new file mode 100644 index 000000000..c170ccdca --- /dev/null +++ b/.mailmap @@ -0,0 +1,19 @@ +## 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 <adamc@csail.mit.edu> Adam Chlipala <adam@chlipala.net> +Andres Erbsen <andreser@mit.edu> Andres Erbsen <andreser@mit.edu> +Jade Philipoom <jadep@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> +Jason Gross <jgross@mit.edu> Jason Gross <jgross@mit.edu> +Jason Gross <jgross@mit.edu> Jason Gross <jagro@google.com> +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> Robert Sloan <varomodt@gmail.com> +Robert Sloan <varomodt@gmail.com> Robert Sloan <varomodt@Roberts-MacBook.local> +Robert Sloan <varomodt@gmail.com> Rob Sloan <varomodt@gmail.com> +Robert Sloan <varomodt@gmail.com> varomodt <varomodt@localhost.localdomain> |