-
-
Notifications
You must be signed in to change notification settings - Fork 1.6k
Update workflow in PEP 1 #38
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
Comments
This is done now, right? |
No, not really :) We still need to update the part I quoted for example: They can just send a pull request now. |
@berkerpeksag Okay! I reopened the issue. |
The PEP also says:
Is there any objection to just accepting new draft PEPs as PRs too? We'll leave [email protected] around for questions, help, and such but I don't see much of a need of it for any workflow. It's barely used now as it is. |
+1, it's been made obsolete by the tracker and PR workflow. (I'd encourage On Thu, Oct 13, 2016 at 1:46 PM, Barry Warsaw [email protected]
--Guido van Rossum (python.org/~guido) |
+1. I think we should mostly discourage [email protected]. We can even assign PEP numbers by PR. We'll leave that address live though just in case someone wants to contact the editors semi-privately. Let me do an update to #116 |
Hmm. In principle I'm fine with that, as long as it's practical for everyone. For non-core-devs, the normal thing to do used to be to request a PEP number - is the new workflow going to be that every PEP author starts by picking a number and making sure there's no conflict, or do we modify the PR to pick a number? |
I would like to see people use an XXX number and we can either assign them a number via PR or modify the PR to assign a number. |
(Yeah, the new GitHub feature that lets PR reviewers edit the PR is great Personally I'm totally fine with retiring [email protected] or letting it On Thu, Oct 13, 2016 at 2:01 PM, Barry Warsaw [email protected]
--Guido van Rossum (python.org/~guido) |
Yeah. Has anyone used the "project admins may tweak the PR" workflow? I'm thinking something along the lines of:
|
And... Guido's post and mine crossed. Sounds like you have something similar in mind. |
+1 |
PEP 1 needs to be updated to reflect the new GitHub workflow. For example, the following part is now outdated. They can send a pull request on GitHub:
The text was updated successfully, but these errors were encountered: