[17:03:14] <eddiegp>	 Could someone please have a look at https://gerrit.wikimedia.org/r/#/c/342090 ? It's an update of .mailmap and CREDITS files, using the maintenance script that somebody built a few months ago.