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

Couple more periods that should be colons #25

Merged
merged 1 commit into from
Aug 7, 2024
Merged

Couple more periods that should be colons #25

merged 1 commit into from
Aug 7, 2024

Conversation

lanery
Copy link
Collaborator

@lanery lanery commented Aug 7, 2024

couple more periods that should be colons

Couple more periods that should be colons....

couple more periods that should be colons

Signed-off-by: Ryan Lane <[email protected]>
@lanery
Copy link
Collaborator Author

lanery commented Aug 7, 2024

For something like this is it ok to bypass review?

@lanery lanery requested a review from keithchev August 7, 2024 22:03
@keithchev
Copy link
Member

For something like this is it ok to bypass review?

I'm not sure if we have any formal policy about this, but fwiw my own feeling is the answer should be basically no, unless it's really urgent and you really can't find anyone who can approve your PR. The reason is that it's just so much simpler to have a rule and always stick to it. As soon as we allow for exceptions, we both erode the authority of the rule and also have to grapple with the ambiguity of what constitutes "something like this". And ultimately that means we have to rely on individuals to make judgement calls, with all the possibilities for misunderstandings, conflicting intuitions, etc, that come with that. And so my feeling is that any time we can use a rule or protocol to avoid that at little/no cost, then we're wise to use it.

@lanery
Copy link
Collaborator Author

lanery commented Aug 7, 2024

For something like this is it ok to bypass review?

I'm not sure if we have any formal policy about this, but fwiw my own feeling is the answer should be basically no, unless it's really urgent and you really can't find anyone who can approve your PR. The reason is that it's just so much simpler to have a rule and always stick to it. As soon as we allow for exceptions, we both erode the authority of the rule and also have to grapple with the ambiguity of what constitutes "something like this". And ultimately that means we have to rely on individuals to make judgement calls, with all the possibilities for misunderstandings, conflicting intuitions, etc, that come with that. And so my feeling is that any time we can use a rule or protocol to avoid that at little/no cost, then we're wise to use it.

Nicely explained and very reasonable -- thanks!

@lanery lanery merged commit ca09577 into main Aug 7, 2024
1 check passed
@lanery lanery deleted the lanery-patch-1 branch August 7, 2024 23:48
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.

2 participants