This will create a new pull request consisting of 0 PRs.
A rollup is useful for shortening the queue, but jumping the queue is unfair to older PRs who have waited too long.
When creating a real rollup, see this instruction for reference.
—
3 total, 0 approved, 0 rolled up, 0 failed / /
Sort key | # | Status | Mergeable | Title | Head ref | Assignee | Approved by | Priority | Rollup | |
---|---|---|---|---|---|---|---|---|---|---|
1 | 557 | yes | Use second parent of merge commit when detecting outdated 'try' build | Aaron1011:fix-bad-try | 0 | |||||
2 | 530 | no | use priorities to determine presence in reports | Zeegomo:fix-markdown-report | 0 | |||||
3 | 543 | no | Read docs.rs metadata when running rustdoc | jyn514:doc-runs | 0 |