.mailmap 5.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108
  1. # In the migration from Darcs to GitHub, we lost some information
  2. # about the authors. The information from Git commands,
  3. # e.g. git shortlog -nse, is better by using this file. The creation
  4. # of this file was based on the .authorspellings Darcs file. If your
  5. # entry is missing or wrong feel free to add or change it.
  6. # ASR (17 June 2014). In the Darcs repository, Nils Anders Danielsson
  7. # and Dominique Devriese had 1479 and 73 patches, respectively; but in
  8. # the master branch of the GitHub repository, they only have 1471 and
  9. # 72 commits, respectively. I couldn't fix it.
  10. # Format of a line:
  11. #
  12. # Proper Name <Proper@email> commit name <commit@email>
  13. # \-----------+------------/ \----------+-------------/
  14. # | |
  15. # replace find
  16. #
  17. # <Proper@email> is never optional and cannot appear by itself.
  18. # Besides that, the other parts are optional (as long as 2 parts
  19. # are present).
  20. # Please keep this file in alphabetic order!
  21. ##############################################################################
  22. Adam Gundry <adam.gundry@strath.ac.uk>
  23. Adam Sandberg Eriksson <adam@sandbergericsson.se>
  24. Alan Jeffrey <ajeffrey@bell-labs.com> ajeffrey
  25. Alexandre Buisse <buisse@cs.chalmers.se>
  26. Andreas Abel <andreas.abel@ifi.lmu.de> andreas.abel
  27. Andreas Abel <andreas.abel@ifi.lmu.de> abel <abel@cs.chalmers.se>
  28. Andrea Vezzosi <sanzhiyan@gmail.com>
  29. Andrés Sicard-Ramírez <asr@eafit.edu.co> andres.sicard.ramirez
  30. Andrés Sicard-Ramírez <asr@eafit.edu.co> andres.sicard.ramirez <andres.sicard.ramirez@gmail.com>
  31. Andrés Sicard-Ramírez <asr@eafit.edu.co> andres.sicard <andres.sicard@gmail.com>
  32. <asr@eafit.edu.co> <andres.sicard.ramirez@gmail.com>
  33. Carlo Cabrera <30379873+carlocab@users.noreply.github.com>
  34. Christian Sattler <sattler.christian@gmail.com>
  35. Daniel Gustafsson <daniel.gustafsson@gmail.com> daniel.gustafsson
  36. Darin Morrison <dwm@cs.nott.ac.uk> dwm
  37. Darin Morrison <dwm@cs.nott.ac.uk> darinmorrison <darinmorrison@gmail.com>
  38. Dominique Devriese <dominique.devriese@cs.kuleuven.be> dominique.devriese <dominique.devriese@gmail.com>
  39. Dominique Devriese <dominique.devriese@cs.kuleuven.be> dominique.devriese
  40. Ed Nutting <ed@beyondrisc.com> Ed Nutting <1746336+EdNutting@users.noreply.github.com>
  41. Evgenii Akentev <i@ak3n.com> Eugene Akentyev <ak3ntev@gmail.com>
  42. Fabien Renaud <fabienr@chalmers.se>
  43. Fabian Ruch <bafain@gmail.com>
  44. Frédéric Jouault <fjouault@users.noreply.github.com>
  45. Fredrik Lindblad <frelindb@chalmers.se> frelindb <frelindb@gmail.com>
  46. Fredrik Lindblad <frelindb@chalmers.se> frelindb
  47. Fredrik Nordvall Forsberg <csfnf@swansea.ac.uk> <fredrik.nordvall-forsberg@strath.ac.uk>
  48. Fredrik Nordvall Forsberg <csfnf@swansea.ac.uk> csfnf <csfnf@swansea.ac.uk>
  49. Guillaume Brunerie <guillaume.brunerie@gmail.com>
  50. Guillaume Allais <guillaume.allais@ens-lyon.org> gallais
  51. Herminie Pagel <nlp@fairbill.com> herminie <47478084+pnlph@users.noreply.github.com>
  52. Herminie Pagel <nlp@fairbill.com> pnlph
  53. Holger Borum <holger.stadel.borum@gmail.com> blaavogn
  54. James Burton <j.burton@brighton.ac.uk>
  55. James Chapman <james.chapman@iohk.io> james
  56. James Chapman <james.chapman@iohk.io> <jmchapman@gmail.com>
  57. James Chapman <james.chapman@iohk.io> <james@cs.ioc.ee>
  58. Jean-Philippe Bernardy <jeanphilippe.bernardy@gmail.com> jeanphilippe.bernardy
  59. Jesper Cockx <jesper.cockx@cs.kuleuven.be> jesper.cockx
  60. Jesper Cockx <jesper.cockx@cs.kuleuven.be> <jesper@sikanda.be>
  61. Karl Mehltretter <mehltret@cip.ifi.lmu.de>
  62. Kuen-Bang Hou (Favonia) <favonia@gmail.com>
  63. Lennart Augustsson <lennart@augustsson.net>
  64. Liang-Ting Chen <liang.ting.chen.tw@gmail.com>
  65. LUA Ting-Gan <banacorn@gmail.com>
  66. LUA Ting-Gan <banacorn@gmail.com> Ting-Gian Lua <banacorn@Ting-Giande-MacBook-Pro.local>
  67. Makoto Takeyama <makoto.takeyama@aist.go.jp> makoto.takeyama
  68. Marcin Benke <marcin.benke@gmail.com> marcin.benke
  69. Marko Dimjašević <marko@dimjasevic.net> Marko Dimjašević <mdimjasevic@users.noreply.github.com>
  70. Matthew Daggitt <matthewdaggitt@gmail.com>
  71. Nils Anders Danielsson <nils.anders.danielsson@gmail.com> <nad@cs.chalmers.se>
  72. Nils Anders Danielsson <nils.anders.danielsson@gmail.com> <nad@cse.gu.se>
  73. Nils Anders Danielsson <nils.anders.danielsson@gmail.com> nils.anders.danielsson <nils.anders.danielsson@86b02449-c53c-0410-81b4-87051234213d>
  74. Noam Zeilberger <noam.zeilberger@gmail.com>
  75. Nobuo Yamashita <nobuo-yamashita@aist.go.jp> nobuo-yamashita
  76. Olle Fredriksson <fredriksson.olle@gmail.com> fredriksson.olle
  77. Patrick Palka <patrick@parcs.ath.cx>
  78. Patrik Jansson <patrikj@chalmers.se> patrikj
  79. Péter Diviánszky <divipp@gmail.com> divipp
  80. Philipp Hausmann <ph_git@314.ch> Philipp Hausmann <philipp@xpc001.lenzburg>
  81. Prabhakar Ragde <plragde@uwaterloo.ca>
  82. Ryan Scott <ryan.gl.scott@ku.edu>
  83. Samuel Gélineau <gelisam@gmail.com>
  84. Shin-Cheng Mu <scm@iis.sinica.edu.tw>
  85. Simon Boulier <SimonBoulier@users.noreply.github.com>
  86. Stefan Monnier <monnier@iro.umontreal.ca> monnier
  87. Steven Keuchel <steven.keuchel@gmail.com>
  88. Tesla Ice Zhang <ice1000kotlin@foxmail.com> ice1000
  89. Thomas Anberree <thomas.anberree@nottingham.edu.cn>
  90. Thorsten Altenkirch <txa@cs.nott.ac.uk>
  91. Ulf Norell <ulfn@chalmers.se> ulfn <ulfn@cs.chalmers.se>
  92. Ulf Norell <ulfn@chalmers.se> ulf.norell <ulf.norell@gmail.com>
  93. Ulf Norell <ulfn@chalmers.se> ulf.norell <ulf.norell@86b02449-c53c-0410-81b4-87051234213d>
  94. Ulf Norell <ulfn@chalmers.se> ulfn
  95. <ulfn@chalmers.se> <ulf.norell@gmail.com>
  96. Uma Zalakain <ping@umazalakain.info> <uma@gisa-elkartea.org>
  97. Víctor López Juan <victor@lopezjuan.com>
  98. Wen Kokke <wen.kokke@gmail.com> Pepijn Kokke <pepijn.kokke@gmail.com>
  99. Wen Kokke <wen.kokke@gmail.com> <wenkokke@users.noreply.github.com>
  100. Wouter Swierstra <w.s.swierstra@uu.nl> <wss@cs.nott.ac.uk>
  101. Wojciech Jedynak <wjedynak@gmail.com>
  102. Zack Grannan <zgrannan@gmail.com>
  103. Zack Grannan <zgrannan@gmail.com> <zgrannan@protonmail.com>