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
This lets PRs be "merged" and handled as one change, from the perspective of the CI workflows. The git history is unchanged; this only changes how CI workflows are run. Here's a video that explains it much more clearly than the docs: https://www.youtube.com/watch?v=XEZMgohmtts
Alternatives
No response
Additional Content
No response
The text was updated successfully, but these errors were encountered:
Is there an existing issue for this?
Contact Details
No response
What should this feature add?
We should explore setting up a GitHub merge queue for
main
.This lets PRs be "merged" and handled as one change, from the perspective of the CI workflows. The git history is unchanged; this only changes how CI workflows are run. Here's a video that explains it much more clearly than the docs: https://www.youtube.com/watch?v=XEZMgohmtts
Alternatives
No response
Additional Content
No response
The text was updated successfully, but these errors were encountered: