You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I personally like the flexibility of not requiring CI checks (it allows me to accelerate things like README updates or if clippy has released a new breaking change).
That being said, I am not opposed to this change; I just feel like it actually adds more burden on the maintainers.
In terms of changing settings, I think apache projects don't control github settings directly, instead they check in a config file that then sets the permissions.
Is your feature request related to a problem or challenge? Please describe what you are trying to do.
Currently prior to merge you need to check all the CI bar MIRI has run to completion. This is somewhat tiresome and potentially error prone.
Describe the solution you'd like
All CI checks bar MIRI should be required prior to merge. I don't know who has access to change this, perhaps @andygrove ??
Describe alternatives you've considered
We could not do this
The text was updated successfully, but these errors were encountered: