Update CREDITS and .mailmap files
authorEddie Greiner-Petter <git@eddie-sh.de>
Thu, 9 Mar 2017 21:24:43 +0000 (22:24 +0100)
committerEddieGP <wikimedia.org@eddie-sh.de>
Mon, 13 Mar 2017 18:29:15 +0000 (18:29 +0000)
commit719374544fa5bd71c1010b5e961445a4c14fef35
tree6a7185131f7718417a4056acfd6d7120c9d1f840
parentc584722cc2e3d33edae58d46c2149063b3fc6d72
Update CREDITS and .mailmap files

Update the CREDITS file using maintenance/updateCredits.php script that
uses `git log` to identify contributors. For each added user it was
checked by hand that no user with the same mail adress but an other
"Real Name" was already in the CREDITS file. This is the case with one
entry, prevent this using .mailmap. Also remove (WMDE) at end of real
name in one case using .mailmap file. Also change version name MW 1.28
to 1.29 while at it.

Change-Id: I4c3bb8c3e5f0c1317ea8711efc4f88e571b0c5c6
.mailmap
CREDITS