-
-
Notifications
You must be signed in to change notification settings - Fork 25.8k
RFC enable github's pull request merge queue? #25583
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
Just curious, I quickly read the article and I am not to sure this would be a game changer, but maybe I missed something ...
This rarely happens in scikit-learn right? I feel PRs don't step on each other toes in a vast majority of cases but again maybe I am missing something. |
I think it reduces the likelihood of wasting CI when using conditional delayed merges. |
As I understand it the problem that a merge queue solves is that PRs are "constantly" being merged into However I don't think the merging of PRs is done like this* in scikit-learn. So maybe the benefit is small? What does seem to happen regularly is that your "what's new" changes conflict with Overall, I feel like there is something I am missing regarding this new feature. It seems like a solution to a problem not a lot of people have?? (Or that I misunderstand something)
|
From memory, the issue that merge queue solves for happens around ~2 times a year in the past 3 years. For example, when a new test was added to In any case, I think it's okay to turn merge queues on and see if we like it. We can always turn it off if it's too much of a hassle. |
I enabled it for |
I had a problem when trying to use it today in #25585. Not sure what's going one because everything was green on this PR but apparently there was a 4 min timeout (see details in the linked PR). |
I saw the same issue with the merge queue in #25613. |
I saw the same issue with the merge queue in #25633. I increase the wait time to 90 minutes because Azure Pipeline took > 60 minutes to complete. Then I noticed that the "Check Changelog" GitHub Action never actually runs on the merge queue and waits forever. I suspect this is a bug with the merge queue feature. Since the merge queue never actually merges even when all the tests pass, I am going to turn the merge queue off for now. |
https://github.blog/changelog/2023-02-08-pull-request-merge-queue-public-beta/
It seems like a nice usability improvement.
The text was updated successfully, but these errors were encountered: