# The format of this file is generally of the form # # for example: # Proper Name # # Proper Name Commit Name # # 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 , pour ne pas le citer) ### Normalizing information for frequent git commit authors Alain Frisch alainfrisch Luc Maranget cvs2svn Damien Doligez Some Name Damien Doligez doligez Mohamed Iguernelala Jérémie Dimino Jérémie Dimino Jeremy Yallop yallop Nicolás Ojeda Bär Nicolás Ojeda Bär François Pottier Jérôme Vouillon Frédéric Bour Frédéric Bour Armaël Guéneau Armaël Guéneau Armaël Guéneau Edwin Török Edwin Török Edwin Török Enguerrand Decorne Fabrice Buoro ### 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 Gabriel Radanne Vincent Laviron Jeremy 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 nickname # or # Preferred Name # Preferred Name # to indicate a preference associated to a Mantis account. Florian Angeletti octachron Gabriel Radanne Drup Pierre Weis pierreweis John Christopher McAlpine chrismamo1 Runhang Li marklrh Francis Souther FDSouthern Simon Cruanes Frederic Bour David Sheets David Allsopp David Allsopp Tim Cuthbertson Grégoire Henry Julien Moutinho Adam Borowski Mikhail Mandrykin Maverick Woo Andi McClure Michael Grünewald Michael O'Connor Florian Angeletti Kenji Tokudome Philippe Veber Valentin Gatien-Baron Valentin Gatien-Baron Stephen Dolan Junsong Li Junsong Li Christophe Raffali Christophe Raffali Anton Bachin Reed Wilson David Scott Martin Neuhäußer Goswin von Brederlow Thomas Leonard Thomas Leonard Adrien Nader Sébastien Hinderer Sébastien Hinderer Gabriel Scherer Immanuel Litzroth Jacques Le Normand Konstantin Romanov Arseniy Alekseyev Dwight Guth Dwight Guth Andreas Hauptmann fdopen Andreas Hauptmann Andreas Hauptmann Hendrik Tews Hugo Heuzard Miod Vallat Christoph Spiel Joris Giovannangeli Wilfred Hughes John Skaller Eduardo Rafael Runhang Li Dmitrii Kosarev # These contributors prefer to be referred to pseudonymously whitequark william tkob ygrek linse