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

CAM-Gerlach · JelleZijlstra · web-flow · commit 1e4984787081 · 2022-02-24T22:37:01.000-06:00
Co-authored-by: Jelle Zijlstra &lt;jelle.zijlstra@gmail.com&gt;
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
