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.

Sign up for GitHub

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

Jump to bottom

[meta] Separate queue for high priority PRs? #10352

Closed
geekosaur opened this issue Sep 14, 2024 · 0 comments · Fixed by #10353
Closed

[meta] Separate queue for high priority PRs? #10352

geekosaur opened this issue Sep 14, 2024 · 0 comments · Fixed by #10353
Assignees
@geekosaur
Labels
continuous-integration

Comments

@geekosaur
Copy link
Collaborator

geekosaur commented Sep 14, 2024 •
edited
Loading

See https://docs.mergify.com/merge-queue/priority/. I expect this would be used when the "priority: high 🔥 " label is on a PR.

One possible use is that we might have needed to merge something to 3.14 while I was catching up on 3.12 backports. With a high priority queue, setting the priority label would send a 3.14 PR to the high priority queue, which would preempt any queued 3.12 backports and only resume them after the high priority PR(s) were merged.
@geekosaur geekosaur self-assigned this Sep 14, 2024
geekosaur added a commit to geekosaur/cabal that referenced this issue Sep 14, 2024
@geekosaur
add Mergify config for high priority PRs
3d94443 
This allows is to interrupt the merge queue for high priority PRs.
It's using the "priority: high 🔥" label currently.

Fixes: haskell#10352
@geekosaur geekosaur mentioned this issue Sep 14, 2024
Merged
2 tasks
geekosaur added a commit to geekosaur/cabal that referenced this issue Sep 14, 2024
@geekosaur
add Mergify config for high priority PRs
0cc09b0 
This allows is to interrupt the merge queue for high priority PRs.
It's using the "priority: high 🔥" label currently.

Fixes: haskell#10352
geekosaur added a commit to geekosaur/cabal that referenced this issue Sep 14, 2024
@geekosaur
add Mergify config for high priority PRs
9ebdbab 
This allows is to interrupt the merge queue for high priority PRs.
It's using the "priority: high 🔥" label currently.

Fixes: haskell#10352
geekosaur added a commit to geekosaur/cabal that referenced this issue Sep 14, 2024
@geekosaur
add Mergify config for high priority PRs
6c5a4d3 
This allows is to interrupt the merge queue for high priority PRs.
It's using the "priority: high 🔥" label currently.

Fixes: haskell#10352
geekosaur added a commit to geekosaur/cabal that referenced this issue Sep 14, 2024
@geekosaur
add Mergify config for high priority PRs
04c628b 
This allows is to interrupt the merge queue for high priority PRs.
It's using the "priority: high 🔥" label currently.

Fixes: haskell#10352
geekosaur added a commit to geekosaur/cabal that referenced this issue Sep 14, 2024
@geekosaur
add Mergify config for high priority PRs
2221350 
This allows is to interrupt the merge queue for high priority PRs.
It's using the "priority: high 🔥" label currently.

Fixes: haskell#10352
geekosaur added a commit to geekosaur/cabal that referenced this issue Sep 18, 2024
@geekosaur
add Mergify config for high priority PRs
513813e 
This allows is to interrupt the merge queue for high priority PRs.
It's using the "priority: high 🔥" label currently.

Fixes: haskell#10352
@mergify mergify bot closed this as completed in #10353 Sep 23, 2024
@mergify mergify bot closed this as completed in 350bf63 Sep 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@geekosaur geekosaur

Labels
continuous-integration
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

add Mergify config for high priority PRs geekosaur/cabal
1 participant
@geekosaur