Convert CREDITS to list of all known git contributors
authorBryan Davis <bd808@wikimedia.org>
Wed, 12 Oct 2016 23:45:36 +0000 (17:45 -0600)
committerOdder <tomasz@twkozlowski.com>
Thu, 20 Oct 2016 09:42:18 +0000 (09:42 +0000)
commit08d54bc01c540c723fde1738922ed778783a254a
tree90f39af58f91c62cbaa163102a786c042f3f0e4f
parentcba03a57773f12bee6114b4eea5e2304936ac7c3
Convert CREDITS to list of all known git contributors

* Add an updateCredits.php script that will merge the existing
  contributors list with a list generated using git-log.
* Update the existing .mailmap file to de-duplicate author list
* Update CREDITS using updateCredits.php

Bug: T139300
Change-Id: If00ae955c8026d6be38575f3766a06c46e5e7126
.mailmap
CREDITS
maintenance/updateCredits.php [new file with mode: 0644]