Probably want .github/CONTRIBUTING.md (#137)

2016-11-18 17:13:03 -08:00 · 2016-11-18 17:13:03 -08:00 · 856ef2ef9c
parent 74da33d722
commit 856ef2ef9c
1 changed files with 2 additions and 0 deletions
--- a/pep-0512.txt
+++ b/pep-0512.txt
@ -711,6 +711,8 @@ Optional features:

 * Not started

+  - 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`_