forked from agda/agda
-
Notifications
You must be signed in to change notification settings - Fork 3
/
.mailmap
117 lines (112 loc) · 6.16 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
# In the migration from Darcs to GitHub, we lost some information
# about the authors. The information from Git commands,
# e.g. git shortlog -nse, is better by using this file. The creation
# of this file was based on the .authorspellings Darcs file. If your
# entry is missing or wrong feel free to add or change it.
# ASR (17 June 2014). In the Darcs repository, Nils Anders Danielsson
# and Dominique Devriese had 1479 and 73 patches, respectively; but in
# the master branch of the GitHub repository, they only have 1471 and
# 72 commits, respectively. I couldn't fix it.
# Format of a line:
#
# Proper Name <Proper@email> commit name <commit@email>
# \-----------+------------/ \----------+-------------/
# | |
# replace find
#
# <Proper@email> is never optional and cannot appear by itself.
# Besides that, the other parts are optional (as long as 2 parts
# are present).
# Please keep this file in alphabetic order!
##############################################################################
Adam Gundry <[email protected]>
Adam Sandberg Eriksson <[email protected]>
Alan Jeffrey <[email protected]> ajeffrey
Alexandre Buisse <[email protected]>
Amélia Liao <[email protected]>
Andre Knispel <[email protected]> whatisRT
Andreas Abel <[email protected]> andreas.abel
Andreas Abel <[email protected]> abel <[email protected]>
Andrea Vezzosi <[email protected]>
Andrés Sicard-Ramírez <[email protected]> andres.sicard.ramirez
Andrés Sicard-Ramírez <[email protected]> andres.sicard.ramirez <[email protected]>
Andrés Sicard-Ramírez <[email protected]> andres.sicard <[email protected]>
Arthur Adjedj <[email protected]> arthur-adjedj <[email protected]>
Arthur Adjedj <[email protected]> <[email protected]>
Arthur Adjedj <[email protected]> <[email protected]>
Carlo Cabrera <[email protected]>
Christian Sattler <[email protected]>
Daniel Gustafsson <[email protected]> daniel.gustafsson
Darin Morrison <[email protected]> dwm
Darin Morrison <[email protected]> darinmorrison <[email protected]>
Dominique Devriese <[email protected]> dominique.devriese <[email protected]>
Dominique Devriese <[email protected]> dominique.devriese
Ed Nutting <[email protected]> Ed Nutting <[email protected]>
Eduard-Gabriel Munteanu <[email protected]>
Evgenii Akentev <[email protected]> Eugene Akentyev <[email protected]>
Fabien Renaud <[email protected]>
Fabian Ruch <[email protected]>
Frédéric Jouault <[email protected]>
Fredrik Lindblad <[email protected]> frelindb <[email protected]>
Fredrik Lindblad <[email protected]> frelindb
Fredrik Nordvall Forsberg <[email protected]> <[email protected]>
Fredrik Nordvall Forsberg <[email protected]> csfnf <[email protected]>
Guillaume Brunerie <[email protected]>
Guillaume Allais <[email protected]> gallais
Herminie Pagel <[email protected]> herminie <[email protected]>
Herminie Pagel <[email protected]> pnlph
Holger Borum <[email protected]> blaavogn
James Burton <[email protected]>
James Chapman <[email protected]> james
James Chapman <[email protected]> <[email protected]>
James Chapman <[email protected]> <[email protected]>
Jean-Philippe Bernardy <[email protected]> jeanphilippe.bernardy
Jesper Cockx <[email protected]> jesper.cockx
Jesper Cockx <[email protected]> <[email protected]>
Karl Mehltretter <[email protected]>
Kuen-Bang Hou (Favonia) <[email protected]>
Lawrence Chonavel <[email protected]> lawcho
Lennart Augustsson <[email protected]>
Liang-Ting Chen <[email protected]>
LUA Ting-Gan <[email protected]>
LUA Ting-Gan <[email protected]> Ting-Gian Lua <[email protected]>
Makoto Takeyama <[email protected]> makoto.takeyama
Marcin Benke <[email protected]> marcin.benke
Marko Dimjašević <[email protected]> Marko Dimjašević <[email protected]>
Matthew Daggitt <[email protected]>
Nils Anders Danielsson <[email protected]> <[email protected]>
Nils Anders Danielsson <[email protected]> <[email protected]>
Nils Anders Danielsson <[email protected]> nils.anders.danielsson <nils.anders.danielsson@86b02449-c53c-0410-81b4-87051234213d>
Noam Zeilberger <[email protected]>
Nobuo Yamashita <[email protected]> nobuo-yamashita
Olle Fredriksson <[email protected]> fredriksson.olle
Oskar Eriksson <[email protected]> oskeri
Patrick Palka <[email protected]>
Patrik Jansson <[email protected]> patrikj
Péter Diviánszky <[email protected]> divipp
Philipp Hausmann <[email protected]> Philipp Hausmann <[email protected]>
Prabhakar Ragde <[email protected]>
Ryan Scott <[email protected]>
Samuel Gélineau <[email protected]>
Shin-Cheng Mu <[email protected]>
Simon Boulier <[email protected]>
Stefan Monnier <[email protected]> monnier
Steven Keuchel <[email protected]>
Szumi Xie <[email protected]> szumixie
Tesla Ice Zhang <[email protected]> ice1000
Thomas Anberree <[email protected]>
Thorsten Altenkirch <[email protected]>
Ulf Norell <[email protected]> ulfn <[email protected]>
Ulf Norell <[email protected]> ulf.norell <[email protected]>
Ulf Norell <[email protected]> ulf.norell <ulf.norell@86b02449-c53c-0410-81b4-87051234213d>
Ulf Norell <[email protected]> ulfn
Uma Zalakain <[email protected]> <[email protected]>
Víctor López Juan <[email protected]>
Wen Kokke <[email protected]> Pepijn Kokke <[email protected]>
Wen Kokke <[email protected]> <[email protected]>
Wouter Swierstra <[email protected]> <[email protected]>
Wojciech Jedynak <[email protected]>
Zack Grannan <[email protected]>
Zack Grannan <[email protected]> <[email protected]>