Skip to content
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

Remove "Rejected" OEP status, and indicate they should be left unmerged #601

Merged
merged 1 commit into from
Jul 24, 2024

Conversation

sarina
Copy link
Contributor

@sarina sarina commented Jul 4, 2024

Reflect reality that rejected proposals are frequently left unmerged even though OEP-1 had previously called for it.

Remove the unused "Rejected" state and codify that you should just close the PR, and leave a note as to why.

Addresses #428

Copy link
Member

@kdmccormick kdmccormick left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks Sarina. I think this is an improvement over the current docs and I would not oppose merging it as-is.

That said, I feel that every instance in our official processes where we say "you may do this, or you can do that" without clear reason for doing one or the other is introducing a point of unnecessary ambiguity for our contributors. Writing an OEP is already challenging since it requires so much nuance and revision and convincing and difficult decision-making to reach a solid final document.... I think we can help OEP authors by making the mechanics of the process to be as clear-cut as possible. So, I would suggest to remove the "Rejected" state entirely, and instruct that rejected OEPs be closed instead of merged.

@sarina
Copy link
Contributor Author

sarina commented Jul 5, 2024

@kdmccormick thanks for the feedback. I agree and added that change and reworked the PR title & description. Removing "Rejected" was a bit of a sweeping change and I'm not certain I did it all properly so I'd love your eyes for a second round.

@sarina sarina changed the title docs: Update OEP-1: Rejected or withdrawn PRs may be left unmerged Remove "Rejected" OEP status, and indicate they should be left unmerged Jul 5, 2024
@sarina sarina force-pushed the issue-428 branch 2 times, most recently from 30ad4e8 to 0c14502 Compare July 9, 2024 13:20
Copy link
Member

@kdmccormick kdmccormick left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💯

Reflect reality that rejected or withdrawn proposals are frequently left
unmerged even though OEP-1 had previously called for it.

Addresses #428
Copy link
Contributor

@pdpinch pdpinch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@sarina sarina merged commit 4c81b5c into master Jul 24, 2024
5 checks passed
@sarina sarina deleted the issue-428 branch July 24, 2024 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants