PEP 12: Eliminate unnecessary/redundant detail in Post-History instru…

…ctions Co-authored-by: Jelle Zijlstra <[email protected]>
python · Feb 25, 2022 · 1e49847 · 1e49847
1 parent 4742dac
commit 1e49847
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pep-0012.rst b/pep-0012.rst
@@ -130,8 +130,8 @@ directions below.
       Post-History: `14-Aug-2001 <https://www.example.com/thread_1>`_,
                     `03-Sept-2001 <https://www.example.com/thread_2>`_
 
-  You must manually add new dates/links and commit them as soon as you post a
-  new discussion thread (with a pull request, if you don't have push rights).
+  You must manually add new dates/links as soon as you post a
+  new discussion thread.
 
 - Add a Replaces header if your PEP obsoletes an earlier PEP.  The
   value of this header is the number of the PEP that your new PEP is