# HG changeset patch # User Thomas De Schampheleire # Date 2019-08-25 19:27:30 # Node ID a22352f81a3e4f024068e95ec27dbb9ef795de51 # Parent ed76a0466677b88abd3e75c5a5ff16823d47212a contributors: remove redundant entries These contributors are already present in repository history for the specified years. The entries can be removed from 'contributor_data' without impact in CONTRIBUTORS or the about page. diff --git a/scripts/contributor_data.py b/scripts/contributor_data.py --- a/scripts/contributor_data.py +++ b/scripts/contributor_data.py @@ -75,12 +75,10 @@ other = [ ('2012', 'Augusto Herrmann '), ('2012', 'Nemcio '), ('2012', 'Nemcio '), - ('2012', 'xpol '), ('2013', 'Andrey Mivrenik '), ('2013', 'ArcheR '), ('2013', 'gnustavo '), ('2013', 'ivlevdenis '), - ('2013', 'Marcin Kuźmiński '), ('2013', 'Mikhail Zholobov '), ('2013', 'mokeev1995 '), ('2013', 'Nemcio '), @@ -88,14 +86,11 @@ other = [ ('2013', 'shirou - しろう'), ('2013', 'softforwinxp '), ('2013', 'stephanj '), - ('2013', 'Takumi IINO '), ('2013', 'zhmylove '), ('2013', 'こいんとす '), ('2014', 'invision70 '), ('2014', 'SkryabinD '), ('2014', 'whosaysni '), - ('2015', 'Andrej Shadura '), - ('2016', 'Andrej Shadura '), ] # Preserve contributors listed in about.html but not appearing in repository