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

Start requiring an approving review for mergers #175

Closed
MangoIV opened this issue Mar 29, 2024 · 4 comments
Closed

Start requiring an approving review for mergers #175

MangoIV opened this issue Mar 29, 2024 · 4 comments

Comments

@MangoIV
Copy link
Contributor

MangoIV commented Mar 29, 2024

I think it would be good if we required an approving review before merging something, this is good practise for several reasons and should be clear.

@blackheaven
Copy link
Collaborator

We have no formal process, currently, whenever someone of the HSRT review a PR, (s)he can then merge it, without any particular deadline.

@MangoIV
Copy link
Contributor Author

MangoIV commented Mar 30, 2024

I think it would be good practice to always (or at least in the default case) require an approving review; even if the PR was raised by a team member, that way we make sure that the code has high quality and people really looked over the entire PR; especially to try and stay on-topic, two pairs of eyes always see more than one pair. ;)

@blackheaven
Copy link
Collaborator

I agree, for the record, aside of #168 which was approved on our internal ML, I only did it for CI related problems #172 #173 #174, which hard quite hard to debug on other repositories.

@MangoIV MangoIV changed the title Start requiring an approving review for mergerws Start requiring an approving review for mergers Mar 30, 2024
@frasertweedale
Copy link
Collaborator

I'm fine with Gautier self-merging CI-related changes :) But yeah, for library and executable code, and advisories, for sure, we should require reviews.

@MangoIV MangoIV closed this as completed Apr 10, 2024
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

No branches or pull requests

3 participants