diff scripts/contributor_data.py @ 7755:a44228cd208b

scripts: prepare for giving credit for contributions that have been integrated into other changesets
author Mads Kiilerich <mads@kiilerich.com>
date Fri, 19 Jul 2019 01:00:11 +0200
parents dc1c9c131466
children 3e84ac8ed579
line wrap: on
line diff
--- a/scripts/contributor_data.py	Thu Jan 17 03:56:34 2019 +0100
+++ b/scripts/contributor_data.py	Fri Jul 19 01:00:11 2019 +0200
@@ -62,6 +62,12 @@
 # Was reworked and contributed later and shadowed by other contributions:
 no_about.add(('Sean Farley <sean.michael.farley@gmail.com>', '2013'))
 
+# Contributors in about.html and CONTRIBUTORS not appearing in repository
+# history:
+other = [
+    # Work folded into commits attributed to others:
+]
+
 # Preserve contributors listed in about.html but not appearing in repository
 # history:
 other_about = [