[Python-checkins] peps: Support RESERVED PEP numbers.

[barry.warsaw]

http://hg.python.org/peps/rev/a0bf18e234f3
changeset:   5184:a0bf18e234f3
parent:      5182:52b7feaa098b
user:        Barry Warsaw <barry at python.org>
date:        Tue Oct 08 20:21:56 2013 -0400
summary:
  Support RESERVED PEP numbers.

files:
  pep0/output.py |  24 ++++++++++++++++++++++++
  1 files changed, 24 insertions(+), 0 deletions(-)


diff --git a/pep0/output.py b/pep0/output.py
--- a/pep0/output.py
+++ b/pep0/output.py
@@ -8,6 +8,19 @@
 from . import constants
 from .pep import PEP, PEPError
 
+# This is a list of reserved PEP numbers.  Reservations are not to be used for
+# the normal PEP number allocation process - just give out the next available
+# PEP number.  These are for "special" numbers that may be used for semantic,
+# humorous, or other such reasons, e.g. 401, 666, 754.
+#
+# PEP numbers may only be reserved with the approval of a PEP editor.  Fields
+# here are the PEP number being reserved and the claimants for the PEP.
+# Although the output is sorted when PEP 0 is generated, please keep this list
+# sorted as well.
+RESERVED = [
+    (801, 'Warsaw'),
+    ]
+
 
 indent = u' '
 
@@ -180,6 +193,17 @@
         prev_pep = pep.number
     print>>output
     print>>output
+    print>>output, u'Reserved PEP Numbers'
+    print>>output
+    write_column_headers(output)
+    for number, claimants in sorted(RESERVED):
+        print>>output, constants.column_format % {
+            'type': '',
+            'status': '',
+            'number': number,
+            'title': 'RESERVED',
+            'authors': claimants,
+            }
     print>>output, u"Key"
     print>>output
     for type_ in PEP.type_values:

-- 
Repository URL: http://hg.python.org/peps