I'd like to introduce a convention that PRs (and direct commits) for this repo should always have the PEP number in their subject line, with the exception of changes that affect the infrastructure (e.g. pep2html.py). I'd recommend the format "PEP NNN: " but it's also okay to use e.g. "Fix typos in PEP NNN".
What's a good place to put such a convention?