diff --git a/pep-0512.txt b/pep-0512.txt index 61e5224a5..face1a879 100644 --- a/pep-0512.txt +++ b/pep-0512.txt @@ -749,17 +749,12 @@ Optional features: * Not started - Check for whitespace abnormalities as part of CI - - Write `.github/CONTRIBUTING.md` - (to prevent PRs that are inappropriate from even showing up and pointing to the devguide) - `Create https://git.python.org`_ - `Backup of pull request data`_ - - `Handling Misc/NEWS`_ - `Handling Misc/ACKS`_ - `Pull request commit queue`_ - - `Bot to generate cherry-pick pull requests`_ - `Allow bugs.python.org to use GitHub as a login provider`_ - `Web hooks for re-generating web content`_ - - `Link web content back to files that it is generated from`_ - `Splitting out parts of the documentation into their own repositories`_ - `Backup of Git repositories`_ @@ -774,6 +769,12 @@ Optional features: - `A CI Service`_ - `Test coverage report`_ + - `Link web content back to files that it is generated from`_ + - `Handling Misc/NEWS`_ + - `Bot to generate cherry-pick pull requests`_ + - Write `.github/CONTRIBUTING.md` + (to prevent PRs that are inappropriate from even showing up and pointing to the devguide) + Open Issues