diff options
-rw-r--r-- | Misc/developers.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Misc/developers.txt b/Misc/developers.txt index 634101ce12..b52e14ad44 100644 --- a/Misc/developers.txt +++ b/Misc/developers.txt @@ -12,6 +12,9 @@ be in the form of ReST. Entries should include the initials of the project admin who made the change or granted access. Feel free to revise the format to accommodate documentation needs as they arise. +Note, when giving new commit permissions, be sure to get a contributor +agreement from the committer. See http://www.python.org/psf/contrib/ +for details. When the agreement is signed, please note it in this log. Permissions History |