forked from mason-stewart/agda
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.mailmap
48 lines (44 loc) · 2.65 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
# 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.
# Please keep this file in alphabetic order!
##############################################################################
Alan Jeffrey <[email protected]> ajeffrey
Andreas Abel <[email protected]> andreas.abel
Andreas Abel <[email protected]> abel <[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]>
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
Fredrik Lindblad <[email protected]> frelindb <[email protected]>
Fredrik Lindblad <[email protected]> frelindb
Fredrik Nordvall Forsberg <[email protected]> fredrik.nordvall-forsberg <[email protected]>
Fredrik Nordvall Forsberg <[email protected]> csfnf <[email protected]>
James Chapman <[email protected]> james
Jean-Philippe Bernardy <[email protected]> jeanphilippe.bernardy
Jesper Cockx <[email protected]>
Makoto Takeyama <[email protected]> makoto.takeyama
Marcin Benke <[email protected]> marcin.benke
Nobuo Yamashita <[email protected]> nobuo-yamashita
Olle Fredriksson <[email protected]> fredriksson.olle
Patrik Jansson <[email protected]> patrikj
Péter Divianszki <[email protected]> divipp
Samuel Gélineau <[email protected]>
Stefan Monnier <[email protected]> monnier
Ulf Norell <[email protected]> ulfn <[email protected]>
Ulf Norell <[email protected]> ulf.norell <[email protected]>
Ulf Norell <[email protected]> ulfn