Add procedural note.
diff --git a/Misc/developers.txt b/Misc/developers.txt
index 634101c..b52e14a 100644
--- a/Misc/developers.txt
+++ b/Misc/developers.txt
@@ -12,6 +12,9 @@
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