PEP 1: Linkify repo

Author: hugovk

pep-0001.txt

@@ -742,9 +742,7 @@ Once the PEP is ready for the repository, a PEP editor will:
 * Add the PEP to a local fork of the `PEP repository`_.  For workflow
   instructions, follow `The Python Developers Guide <https://devguide.python.org/>`_
 
-  The git repo for the peps is::
-
-   https://github.com/python/peps
+  The Git repo for the peps is https://github.com/python/peps
 
 * Run ``./genpepindex.py`` and ``./pep2html.py <PEP Number>`` to ensure they
   are generated without errors. If either triggers errors, then the web site