diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-09-07 16:09:20 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-09-07 16:11:18 +0200 |
| commit | 5fbe8c7f50a9ac339195ded2d191575bd868e326 (patch) | |
| tree | f5683309c8379d8d75bb1baf116bf4864bbf08f6 /.mailmap | |
| parent | 596b2b48697d58b7f36fdcedd989f586a6dfda48 (diff) | |
| download | ocaml-5fbe8c7f50a9ac339195ded2d191575bd868e326.tar.gz | |
clarify the .mailmap structure
Diffstat (limited to '.mailmap')
| -rw-r--r-- | .mailmap | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -11,6 +11,9 @@ # of commits erroneously made under an obscure alias or email adress. # (Some Name <some@name.com>, pour ne pas le citer) + +### Normalizing information for frequent git commit authors + Alain Frisch <alain@frisch.fr> alainfrisch <alain@frisch.fr> <damien.doligez@inria.fr> <damien.doligez-inria.fr> <damien.doligez@inria.fr> <damien.doligez@gmail.com> @@ -29,6 +32,9 @@ Jérémie Dimino <jdimino@janestreet.com> Jeremy Yallop <yallop@gmail.com> yallop <yallop@gmail.com> Nicolás Ojeda Bär <n.oje.bar@gmail.com> + +### Remembering naming preferences for contributors + # The aliases below correspond to preference expressed by # contributors on the name under which they credited, for example # if they use an opaque nickname from github or mantis: |