changeset 7852:ed76a0466677

contributors: fix existing email-less entry of 'mikespook' Commit 17bef51d7616 was committed as 'mikespook' without any email address. This name was thus reflected without email in the CONTRIBUTORS file. In the i18n copyright data, a 'mikespook' _with_ email address was referenced. Assuming these two refer to the same person, add a 'name fix' to combine them.
author Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
date Sun, 25 Aug 2019 21:15:39 +0200
parents a95c091ff15e
children a22352f81a3e
files CONTRIBUTORS scripts/contributor_data.py
diffstat 2 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/CONTRIBUTORS	Sun Aug 25 21:13:15 2019 +0200
+++ b/CONTRIBUTORS	Sun Aug 25 21:15:39 2019 +0200
@@ -128,7 +128,6 @@
     H Waldo G <gwaldo@gmail.com> 2012
     hppj <hppj@postmage.biz> 2012
     Indra Talip <indra.talip@gmail.com> 2012
-    mikespook 2012
     mikespook <mikespook@gmail.com> 2012
     nansenat16 <nansenat16@null.tw> 2012
     Nemcio <bogdan114@g.pl> 2012
--- a/scripts/contributor_data.py	Sun Aug 25 21:13:15 2019 +0200
+++ b/scripts/contributor_data.py	Sun Aug 25 21:15:39 2019 +0200
@@ -30,6 +30,7 @@
 name_fixes['mao <mao@lins.fju.edu.tw>'] = "Ching-Chen Mao <mao@lins.fju.edu.tw>"
 name_fixes['marcink'] = "Marcin Kuźmiński <marcin@python-works.com>"
 name_fixes['Marcin Kuzminski'] = "Marcin Kuźmiński <marcin@python-works.com>"
+name_fixes['mikespook'] = "mikespook <mikespook@gmail.com>"
 name_fixes['nansenat16@null.tw'] = "nansenat16 <nansenat16@null.tw>"
 name_fixes['Peter Vitt'] = "Peter Vitt <petervitt@web.de>"
 name_fixes['philip.j@hostdime.com'] = "Philip Jameson <philip.j@hostdime.com>"
@@ -72,7 +73,6 @@
     # kallithea/i18n/*/LC_MESSAGES/kallithea.po and originating from before the
     # use of Weblate.
     ('2012', 'Augusto Herrmann <augusto.herrmann@gmail.com>'),
-    ('2012', 'mikespook <mikespook@gmail.com>'),
     ('2012', 'Nemcio <areczek01@gmail.com>'),
     ('2012', 'Nemcio <bogdan114@g.pl>'),
     ('2012', 'xpol <xpolife@gmail.com>'),