blob: d83748ccbab533a9d94ee8ab2acfd2bf18a0d7ef (
plain)
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
|
# 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 <jdimino@janestreet.com>
Jeremy Yallop <yallop@gmail.com> yallop <yallop@gmail.com>
Nicolás Ojeda Bär <n.oje.bar@gmail.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>
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>
# 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>
|
