-
-
Notifications
You must be signed in to change notification settings - Fork 1.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Make peps.python.org exist #3
Labels
Comments
Closed
This would make www.python.org/dev/peps/* become redirects to peps.python.org as appropriate. |
ilevkivskyi
referenced
this issue
in ilevkivskyi/peps
Sep 2, 2016
Update according to latest discussions
Rosuav
added a commit
that referenced
this issue
Mar 23, 2018
@brettcannon Has this idea been abandoned? |
A gentle ping. |
@pradyunsg I'm not pushing it anymore (which is why I closed it). If someone else wants to try and make it work they can, but it's a surprisingly large task. |
lukpueh
pushed a commit
to lukpueh/peps
that referenced
this issue
Oct 10, 2019
Relative or absolute filenames
Closed
Merged
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Could be hosted on Read the Docs.
Depends on #2 .
The text was updated successfully, but these errors were encountered: