1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
|
# The format of this file is generally of the form
# <correct authorship information> <information found in commit message>
# for example:
# Proper Name <commit@email>
# <proper@email> <commit@email>
# Proper Name <proper@email> Commit Name <commit@email>
#
# See the MAPPING AUTHORS section of 'man git-shortlog' for more details.
# Such a remapping may be useful in particular for tracking authorship
# of commits erroneously made under an obscure alias or email address.
# (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>
Luc Maranget <luc.maranget@inria.fr>
<luc.maranget@inria.fr> <Luc.Maranget@inria.fr>
<luc.maranget@inria.fr> <maranget@pl-59086.rocq.inria.fr>
<pierre.chambart@ocamlpro.com> <chambart@users.noreply.github.com>
<xavier.leroy@inria.fr> <xavierleroy@users.noreply.github.com>
<leo@lpw25.net> <lpw25@cl.cam.ac.uk>
<Jerome.Vouillon@pps.jussieu.fr> <jerome.vouillon@pps.univ-paris-diderot.fr>
cvs2svn <no_author@ocaml.org>
Damien Doligez <damien.doligez@inria.fr> Some Name <some@name.com>
Damien Doligez <damien.doligez@inria.fr> doligez <damien.doligez@inria.fr>
Mohamed Iguernelala <mohamed.iguernelala@gmail.com>
Jérémie Dimino <jeremie@dimino.org>
Jérémie Dimino <jeremie@dimino.org> <jdimino@janestreet.com>
Jeremy Yallop <yallop@gmail.com> yallop <yallop@gmail.com>
Nicolás Ojeda Bär <n.oje.bar@gmail.com>
Nicolás Ojeda Bär <n.oje.bar@gmail.com> <nicolas.ojeda.bar@lexifi.com>
François Pottier <francois.pottier@inria.fr>
Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr>
Frédéric Bour <frederic.bour@lakaban.net>
Frédéric Bour <frederic.bour@lakaban.net> <def@fb.com>
Armaël Guéneau <Armael@users.noreply.github.com>
Armaël Guéneau <Armael@users.noreply.github.com> <armael.gueneau@ens-lyon.fr>
Armaël Guéneau <Armael@users.noreply.github.com> <armael@isomorphis.me>
Edwin Török <edwin@etorok.net>
Edwin Török <edwin@etorok.net> <edvin.torok@citrix.com>
Edwin Török <edwin@etorok.net> <edwintorok@users.noreply.github.com>
Enguerrand Decorne <decorne.en@gmail.com>
Fabrice Buoro <fabrice@tarides.com>
### Approved Approvers
# The current policy to handle pull requests for the compiler
# distribution is to merge a PR only it has been "approved" by someone
# who is not an author of the PR and has the "approver" status, by
# either
# (1) having been given commit rights, or
# (2) being part of the list of "approvers" below.
#
# Format:
#
# Preferred Name <nickname>
Gabriel Radanne <Drup>
Vincent Laviron <lthls@github>
Jeremy Yallop <yallop>
### 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:
#
# Preferred Name <email> nickname <contribution-email>
# or
# Preferred Name <nickname@mantis>
# Preferred Name <nickname@github>
# to indicate a preference associated to a Mantis account.
Florian Angeletti <octa@polychoron.fr> octachron <octa@polychoron.fr>
Gabriel Radanne <drupyog@zoho.com> Drup <drupyog@zoho.com>
Pierre Weis <Pierre.Weis@inria.fr> pierreweis <Pierre.Weis@inria.fr>
John Christopher McAlpine <christophermcalpine@gmail.com> chrismamo1 <christophermcalpine@gmail.com>
Runhang Li <runhang@posteo.de> marklrh <marklrh@gmail.com>
Francis Souther <francis.southern@gmail.com> FDSouthern <francis.southern@gmail.com>
Simon Cruanes <simon.cruanes.2007@m4x.org> <c-cube@mantis>
Frederic Bour <frederic.bour@lakaban.net> <def@mantis>
David Sheets <dsheets@mantis>
David Allsopp <dra@mantis>
David Allsopp <dra27@github>
Tim Cuthbertson <gfxmonk@mantis>
Grégoire Henry <hnrgrgr@mantis>
Julien Moutinho <julm@mantis>
Adam Borowski <KiloByte@mantis>
Mikhail Mandrykin <mandrykin@mantis>
Maverick Woo <maverickwoo>
Andi McClure <mcc>
Michael Grünewald <michi>
Michael O'Connor <mkoconnor>
Florian Angeletti <octachron>
Kenji Tokudome <pocarist>
Philippe Veber <pveber>
Valentin Gatien-Baron <sliquister>
Valentin Gatien-Baron <valentin.gatienbaron@gmail.com>
Stephen Dolan <stedolan>
Junsong Li <lijunsong@mantis>
Junsong Li <ljs.darkfish@gmail.com>
Christophe Raffali <craff@mantis>
Christophe Raffali <ChriChri@mantis>
Anton Bachin <antron@mantis>
Reed Wilson <omion>
David Scott <djs55>
Martin Neuhäußer <sawfish@mantis>
Goswin von Brederlow <mrvn>
Thomas Leonard <talex@mantis>
Thomas Leonard <talex5@github>
Adrien Nader <adrien-n@github>
Sébastien Hinderer <shindere@github>
Sébastien Hinderer <Sebastien.Hinderer@inria.fr>
Sébastien Hinderer <seb@tarides.com>
Gabriel Scherer <gasche@github>
Immanuel Litzroth <sdev@mantis>
Jacques Le Normand <rathereasy@github>
Konstantin Romanov <const-rs@github>
Arseniy Alekseyev <aalekseyev@janestreet.com>
Dwight Guth <dwight.guth@runtimeverification.com>
Dwight Guth <dwightguth@github>
Andreas Hauptmann <andreashauptmann@t-online.de> fdopen <andreashauptmann@t-online.de>
Andreas Hauptmann <andreashauptmann@t-online.de> <fdopen@users.noreply.github.com>
Andreas Hauptmann <andreashauptmann@t-online.de> <aha@mantis>
Hendrik Tews <hendrik@askra.de>
Hugo Heuzard <hugo.heuzard@gmail.com>
Miod Vallat <miod@mantis>
Christoph Spiel <cspiel@mantis>
Joris Giovannangeli <joris@mantis>
Wilfred Hughes <wilfred@fb.com> <wilfred@mantis>
John Skaller <skaller@mantis>
Eduardo Rafael <EduardoRFS@github>
Runhang Li <objmagic@github>
Dmitrii Kosarev <Kakadu@github>
Samuel Hym <shym@github>
B. Szilvasy <eutro@github>
Hazem Elmasry <hyphens@pm.me>
Hazem Elmasry <hyphenrf@github>
T. Kinsart <hirrolot@gmail.com>
# These contributors prefer to be referred to pseudonymously
whitequark <whitequark@whitequark.org>
william <william@mantis>
tkob <ether4@gmail.com>
ygrek <ygrek@autistici.org>
linse <linse@github>
|
