forked from coq/coq
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.mailmap
253 lines (246 loc) · 22.5 KB
/
.mailmap
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
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
## Coq contributors
##
## This file allows joining the different accounts of a same person.
## Cf for instance: git shortlog -nse. More details via: man git shortlog
##
## To avoid spam issues, we use by default a pseudo-email <login@gforge>
## for all persons that haven't made commits with real emails
##
## If you're mentioned here and want to update your information,
## either amend this file and commit it, or contact the coqdev list
Guillaume Allais <[email protected]> gallais <[email protected]>
Abhishek Anand <[email protected]> Abhishek Anand (@brixpro-home) <[email protected]>
Abhishek Anand <[email protected]> Abhishek Anand (optiplex7010@home) <[email protected]>
Léo Andrès <[email protected]> zapashcanon <[email protected]>
Jim Apple <[email protected]> jbapple <[email protected]>
Bruno Barras <[email protected]> barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Bruno Barras <[email protected]> barras-local <barras-local@85f007b7-540e-0410-9357-904b9bb8a0f7>
CJ Bell <[email protected]> CJ Bell <[email protected]>
Yves Bertot <[email protected]> bertot <bertot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Yves Bertot <[email protected]> Yves Bertot <[email protected]>
Yves Bertot <[email protected]> Yves Bertot <[email protected]>
Yves Bertot <[email protected]> Yves Bertot <[email protected]>
Frédéric Besson <[email protected]> Frederic Besson <[email protected]>
Frédéric Besson <[email protected]> fbesson <fbesson@85f007b7-540e-0410-9357-904b9bb8a0f7>
Frédéric Besson <[email protected]> BESSON Frederic <[email protected]>
Frédéric Besson <[email protected]> fajb <[email protected]>
Siddharth Bhat <[email protected]> Siddharth <[email protected]>
Lasse Blaauwbroek <[email protected]> Lasse Blaauwbroek <[email protected]>
Martin Bodin <[email protected]> Martin Bodin <[email protected]>
Martin Bodin <[email protected]> Martin Bodin <[email protected]>
Ana Borges <[email protected]> Ana <[email protected]>
Ana Borges <[email protected]> ana-borges <[email protected]>
Simon Boulier <[email protected]> SimonBoulier <[email protected]>
Simon Boulier <[email protected]> SimonBoulier <[email protected]>
Pierre Boutillier <[email protected]> pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Pierre Boutillier <[email protected]> Pierre <[email protected]>
Pierre Boutillier <[email protected]> Pierre Boutillier <[email protected]>
Michele Caci <[email protected]> mcaci <[email protected]>
Ali Caglayan <[email protected]> Alizter <[email protected]>
Arthur Charguéraud <[email protected]> charguer <[email protected]>
chluebi <[email protected]> chluebi <[email protected]>
Xavier Clerc <[email protected]> xclerc <xclerc@85f007b7-540e-0410-9357-904b9bb8a0f7>
Xavier Clerc <[email protected]> xclerc <[email protected]>
Cyril Cohen <[email protected]> Cyril Cohen <[email protected]>
Cyril Cohen <[email protected]> Cyril Cohen <[email protected]>
Cyril Cohen <[email protected]> CohenCyril <[email protected]>
Juan Conejero <[email protected]> Juan C <[email protected]>
Pierre Corbineau <Pierre.Corbineau@[email protected]> corbinea <corbinea@85f007b7-540e-0410-9357-904b9bb8a0f7>
Judicaël Courant <courant@gforge> courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7>
Pierre Courtieu <[email protected]> courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7>
David Delahaye <delahaye@gforge> delahaye <delahaye@85f007b7-540e-0410-9357-904b9bb8a0f7>
Maxime Dénès <[email protected]> mdenes <mdenes@85f007b7-540e-0410-9357-904b9bb8a0f7>
Maxime Dénès <[email protected]> Maxime Denes <[email protected]>
Maxime Dénès <[email protected]> Maxime Dénès <[email protected]>
Maxime Dénès <[email protected]> Maxime Dénès <[email protected]>
Maxime Dénès <[email protected]> maximedenes <[email protected]>
Stéphane Desarzens <[email protected]> Columbus240 <[email protected]>
Olivier Desmettre <desmettr@gforge> desmettr <desmettr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Christian Doczkal <[email protected]> Christian Doczkal <[email protected]>
Damien Doligez <doligez@gforge> doligez <doligez@85f007b7-540e-0410-9357-904b9bb8a0f7>
İsmail Dönmez <[email protected]> Ismail <[email protected]>
formalize.eth <[email protected]> ilya <[email protected]>
Andres Erbsen <[email protected]> Andres Erbsen <[email protected]>
Andres Erbsen <[email protected]> andres-erbsen <[email protected]>
Jim Fehrle <[email protected]> Jim <[email protected]>
Jim Fehrle <[email protected]> Jim Fehrle <[email protected]>
Jim Fehrle <[email protected]> jfehrle <[email protected]>
Jim Fehrle <[email protected]> Jim Fehrle <[email protected]>
Jean-Christophe Filliâtre <[email protected]> filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Jean-Christophe Filliâtre <[email protected]> Jean-Christophe Filliatre <[email protected]>
Julien Forest <[email protected]> jforest <jforest@85f007b7-540e-0410-9357-904b9bb8a0f7>
Julien Forest <[email protected]> forest <[email protected]>
Julien Forest <[email protected]> jforest <jforest@thune>
Julien Forest <[email protected]> jforest <[email protected]>
Julien Forest <[email protected]> Julien Forest <[email protected]>
Emilio Jesús Gallego Arias <[email protected]> Emilio Jesus Gallego Arias <[email protected]>
Emilio Jesús Gallego Arias <[email protected]> Emilio Jesús Gallego Arias <[email protected]>
Emilio Jesús Gallego Arias <[email protected]> ejgallego <[email protected]>
Emilio Jesús Gallego Arias <[email protected]> ejgallego <[email protected]>
Gaëtan Gilbert <[email protected]> <[email protected]>
Gaëtan Gilbert <[email protected]> <[email protected]>
Gaëtan Gilbert <[email protected]> SkySkimmer <[email protected]>
Gaëtan Gilbert <[email protected]> <Gaëtan Gilbert <[email protected]>
Paolo G. Giarrusso <[email protected]> Blaisorblade <[email protected]>
Stéphane Glondu <[email protected]> glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Stéphane Glondu <[email protected]> Stephane Glondu <[email protected]>
Matěj Grabovský <[email protected]> Matěj G <[email protected]>
Benjamin Grégoire <[email protected]> Benjamin Gregoire <[email protected]>
Benjamin Grégoire <[email protected]> bgregoir <bgregoir@85f007b7-540e-0410-9357-904b9bb8a0f7>
Benjamin Grégoire <[email protected]> gregoire <gregoire@85f007b7-540e-0410-9357-904b9bb8a0f7>
Jason Gross <[email protected]> Jason Gross <[email protected]>
Jason Gross <[email protected]> Jason Gross <[email protected]>
Jason Gross <[email protected]> JasonGross <[email protected]>
Vincent Gross <vgross@gforge> vgross <vgross@85f007b7-540e-0410-9357-904b9bb8a0f7>
Samuel Gruetter <[email protected]> Samuel Gruetter <[email protected]>
Huang Guan-Shieng <huang@gforge> huang <huang@85f007b7-540e-0410-9357-904b9bb8a0f7>
Armaël Guéneau <[email protected]> Armael <[email protected]>
Armaël Guéneau <[email protected]> Armaël Guéneau <[email protected]>
Hugo Herbelin <[email protected]> herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Hugo Herbelin <[email protected]> Hugo Herbelin <[email protected]>
Hugo Herbelin <[email protected]> herbelin <[email protected]>
Wolf Honore <[email protected]> whonore <[email protected]>
Jasper Hugunin <[email protected]> Jasper Hugunin <[email protected]>
Jasper Hugunin <[email protected]> Jasper Hugunin <[email protected]>
Tom Hutchinson <thutchin@gforge> thutchin <thutchin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Bodo Igler <[email protected]> igler <[email protected]>
Jacques-Henri Jourdan <[email protected]> Jacques-Henri Jourdan <[email protected]>
Pierre Jouvelot <[email protected]> jouvelot <[email protected]>
Jan-Oliver Kaiser <[email protected]> Janno <[email protected]>
Jan-Oliver Kaiser <[email protected]> Jan-Oliver Kaiser <[email protected]>
Cezary Kaliszyk <cek@gforge> cek <cek@85f007b7-540e-0410-9357-904b9bb8a0f7>
Wojciech Karpiel <[email protected]> WojciechKarpiel <[email protected]>
Wojciech Karpiel <[email protected]> Wojciech Karpiel <[email protected]>
Florent Kirchner <fkirchne@gforge> fkirchne <fkirchne@85f007b7-540e-0410-9357-904b9bb8a0f7>
Florent Kirchner <fkirchne@gforge> kirchner <kirchner@85f007b7-540e-0410-9357-904b9bb8a0f7>
Johannes Kloos <[email protected]> jkloos <[email protected]>
Matej Košík <[email protected]> Matej Kosik <[email protected]>
Matej Košík <[email protected]> Matej Kosik <[email protected]>
Matej Košík <[email protected]> Matej Košík <[email protected]>
Ethan A. Kuefner <[email protected]> e kuefner <[email protected]>
Ambroise Lafont <[email protected]> amblaf <[email protected]>
Ambroise Lafont <[email protected]> Ambroise <[email protected]>
Vincent Laporte <[email protected]> Vincent Laporte <[email protected]>
Vincent Laporte <[email protected]> Vincent Laporte <[email protected]>
Marc Lasson <[email protected]> mlasson <[email protected]>
Olivier Laurent <[email protected]> olaure01 <[email protected]>
Olivier Laurent <[email protected]> Olivier Laurent <[email protected]>
William Lawvere <[email protected]> william-lawvere <[email protected]>
Larry Darryl Lee Jr. <[email protected]> Larry D. Lee Jr <[email protected]>
Xavier Leroy <[email protected]> Xavier Leroy <[email protected]>
Pierre Letouzey <[email protected]> letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Pierre Letouzey <[email protected]> letouzey <[email protected]>
Nick Lewycky <[email protected]> nlewycky <[email protected]>
Yishuai Li <[email protected]> Yishuai Li <[email protected]>
Yishuai Li <[email protected]> Yishuai Li <[email protected]>
Assia Mahboubi <[email protected]> amahboub <amahboub@85f007b7-540e-0410-9357-904b9bb8a0f7>
Kenji Maillard <[email protected]> Kenji Maillard <[email protected]>
Evgeny Makarov <emakarov@gforge> emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7>
Gregory Malecha <[email protected]> Gregory Malecha <[email protected]>
Gregory Malecha <[email protected]> Gregory Malecha <[email protected]>
Lionel Elie Mamane <lmamane@gforge> lmamane <lmamane@85f007b7-540e-0410-9357-904b9bb8a0f7>
Claude Marché <marche@gforge> marche <marche@85f007b7-540e-0410-9357-904b9bb8a0f7>
Micaela Mayero <mayero@gforge> mayero <mayero@85f007b7-540e-0410-9357-904b9bb8a0f7>
Guillaume Melquiond <[email protected]> gmelquio <gmelquio@85f007b7-540e-0410-9357-904b9bb8a0f7>
Guillaume Melquiond <[email protected]> Guillaume Melquiond <[email protected]>
Guillaume Melquiond <[email protected]> silene <[email protected]>
Alexandre Miquel <miquel@gforge> miquel <miquel@85f007b7-540e-0410-9357-904b9bb8a0f7>
Benjamin Monate <monate@gforge> monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7>
Erik Martin-Dorel <[email protected]> Erik Martin-Dorel <[email protected]>
Erik Martin-Dorel <[email protected]> erikmd <[email protected]>
Julien Narboux <jnarboux@gforge> jnarboux <jnarboux@85f007b7-540e-0410-9357-904b9bb8a0f7>
Julien Narboux <jnarboux@gforge> narboux <narboux@85f007b7-540e-0410-9357-904b9bb8a0f7>
Jean-Marc Notin <notin@gforge> notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty <notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty@85f007b7-540e-0410-9357-904b9bb8a0f7>
Jean-Marc Notin <notin@gforge> notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Russell O'Connor <[email protected]> roconnor <roconnor@85f007b7-540e-0410-9357-904b9bb8a0f7>
Russell O'Connor <[email protected]> roconnor-blockstream <[email protected]>
Sotaro Okada <[email protected]> soukouki <[email protected]>
Carl Patenaude-Poulin <[email protected]> Carl Patenaude Poulin <[email protected]>
Christine Paulin <cpaulin@gforge> cpaulin <cpaulin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Christine Paulin <cpaulin@gforge> mohring <mohring@85f007b7-540e-0410-9357-904b9bb8a0f7>
Pierre-Marie Pédrot <[email protected]> ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Pierre-Marie Pédrot <[email protected]> Pierre-Marie Pédrot <[email protected]>
Pierre-Marie Pédrot <[email protected]> ppedrot <[email protected]>
Pierre-Marie Pédrot <[email protected]> <Pierre-Marie Pédrot <[email protected]>
Frederic Peschanski <[email protected]> fredokun <[email protected]>
Rudy Peterson <[email protected]> rnp39 <[email protected]>
Clément Pit-Claudel <[email protected]> Clément Pit--Claudel <[email protected]>
Clément Pit-Claudel <[email protected]> Clément Pit-Claudel <[email protected]>
Loïc Pottier <pottier@gforge> pottier <pottier@85f007b7-540e-0410-9357-904b9bb8a0f7>
Matthias Puech <puech@gforge> puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7>
Ramkumar Ramachandra <[email protected]> Ramkumar Ramachandra <[email protected]>
Robert Rand <[email protected]> Robert Rand <[email protected]>
Lars Rasmusson <[email protected]> larsr <[email protected]>
Lars Rasmusson <[email protected]> larsr <[email protected]>
Daniel de Rauglaudre <[email protected]> ddr <ddr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Daniel de Rauglaudre <[email protected]> Daniel de Rauglaudre <[email protected]>
Daniel de Rauglaudre <[email protected]> Daniel De Rauglaudre <ddr@gforge>
Yann Régis-Gianas <[email protected]> regisgia <regisgia@85f007b7-540e-0410-9357-904b9bb8a0f7>
Yann Régis-Gianas <[email protected]> Regis-Gianas <[email protected]>
Clément Renard <clrenard@gforge> clrenard <clrenard@85f007b7-540e-0410-9357-904b9bb8a0f7>
Jean-Pierre Rodi <[email protected]> JPR <[email protected]>
Jean-Pierre Rodi <[email protected]> Fourchaux <[email protected]>
Pierre Rousselin <[email protected]> Villetaneuse <[email protected]>
Pierre Roux <[email protected]> Pierre Roux <[email protected]>
Pierre Roux <[email protected]> proux01 <[email protected]>
Matthew Ryan <[email protected]> mrmr1993 <[email protected]>
Claudio Sacerdoti Coen <sacerdot@gforge> sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Kazuhiko Sakaguchi <[email protected]> Kazuhiko Sakaguchi <[email protected]>
Kazuhiko Sakaguchi <[email protected]> Kazuhiko Sakaguchi <[email protected]>
Kazuhiko Sakaguchi <[email protected]> pi8027 <[email protected]>
Vincent Siles <vsiles@gforge> vsiles <vsiles@85f007b7-540e-0410-9357-904b9bb8a0f7>
Kartik Singhal <[email protected]> Kartik Singhal <[email protected]>
Michael Soegtrop <[email protected]> Michael Soegtrop <[email protected]>
Michael Soegtrop <[email protected]> MSoegtropIMC <[email protected]>
Michael Soegtrop <[email protected]> MSoegtropIMC <[email protected]>
Elie Soubiran <soubiran@gforge> soubiran <soubiran@85f007b7-540e-0410-9357-904b9bb8a0f7>
Matthieu Sozeau <[email protected]> msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7>
Matthieu Sozeau <[email protected]> Matthieu Sozeau <[email protected]>
Matthieu Sozeau <[email protected]> Matthieu Sozeau <[email protected]>
Matthieu Sozeau <[email protected]> mattam82 <[email protected]>
Matthieu Sozeau <[email protected]> mattam82 <[email protected]>
Arnaud Spiwack <[email protected]> aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7>
Naveen Srinivasan <[email protected]> naveen <[email protected]>
Paul Steckler <[email protected]> Paul Steckler <[email protected]>
Frank Steffahn <[email protected]> staffehn <[email protected]>
Sergei Stepanenko <[email protected]> Kaptch <[email protected]>
Enrico Tassi <[email protected]> gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7>
Enrico Tassi <[email protected]> <[email protected]>
Enrico Tassi <[email protected]> Enrico Tassi <[email protected]>
Enrico Tassi <[email protected]> Enrico Tassi <[email protected]>
Enrico Tassi <[email protected]> Enrico <[email protected]>
Enrico Tassi <[email protected]> gares <[email protected]>
Enrico Tassi <[email protected]> gares <[email protected]>
Hendrik Tews <[email protected]> Hendrik Tews <[email protected]>
Laurent Théry <[email protected]> thery <thery@85f007b7-540e-0410-9357-904b9bb8a0f7>
Laurent Théry <[email protected]> thery <[email protected]>
Laurent Théry <[email protected]> Laurent Théry <[email protected]>
Laurent Théry <[email protected]> thery <[email protected]>
Laurent Théry <[email protected]> thery <[email protected]>
Anton Trunov <[email protected]> Anton Trunov <[email protected]>
Anton Trunov <[email protected]> Anton Trunov <[email protected]>
Anton Trunov <[email protected]> anton-trunov <[email protected]>
Oliver Turner <[email protected]> Arya-Elfren <[email protected]>
Quentin Vermande <[email protected]> Quentin Vermande <[email protected]>
Quentin Vermande <[email protected]> qvermande <[email protected]>
Benjamin Werner <werner@gforge> werner <werner@85f007b7-540e-0410-9357-904b9bb8a0f7>
Li-yao Xia <[email protected]> Lysxia <[email protected]>
Li-yao Xia <[email protected]> Xia Li-yao <[email protected]>
Li-yao Xia <[email protected]> Xia Li-yao <[email protected]>
Wang Zhuyang <[email protected]> hawnzug <[email protected]>
Beta Ziliani <[email protected]> Beta Ziliani <[email protected]>
Beta Ziliani <[email protected]> beta <[email protected]>
Théo Zimmermann <[email protected]> Théo Zimmermann <[email protected]>
Théo Zimmermann <[email protected]> Theo Zimmermann <[email protected]>
Théo Zimmermann <[email protected]> Théo Zimmermann <[email protected]>
Théo Zimmermann <[email protected]> Théo Zimmermann <[email protected]>
Théo Zimmermann <[email protected]> Zimmi48 <[email protected]>
Théo Zimmermann <[email protected]> Zimmi48 <[email protected]>
Théo Zimmermann <[email protected]> <Théo Zimmermann <[email protected]>
# Anonymous accounts
anonymous < > coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7>
# Bot accounts
coqbot <[email protected]> coqbot-app[bot] <50967743+coqbot-app[bot]@users.noreply.github.com>
cvs2svn < > (no author) <(no author)@85f007b7-540e-0410-9357-904b9bb8a0f7>
serpyc-bot < > serpyc <serpyc@85f007b7-540e-0410-9357-904b9bb8a0f7>