diff --git a/pep-0512.txt b/pep-0512.txt index 9c8805f20..d204e639c 100644 --- a/pep-0512.txt +++ b/pep-0512.txt @@ -513,6 +513,14 @@ developers. This work doesn't even necessarily require GitHub integration as long as the committer field in all git commits is filled in properly. +Generate a list of contributors for a list +'''''''''''''''''''''''''''''''''''''''''' +Thanks to Git tracking the author of a change separately from the +committer, it will be possible to generate a list of contributors to +every release so that we can publicly thank everyone who contributed +to a specific release. + + Status ====== Requirements for migrating the devinabox [#devinabox-repo]_ and