Closed lfrancke closed 1 year ago
CI now runs on Merge Queue branches
Once the review is done, comment bors r+ (or bors merge) to merge. Further information
bors r+
bors merge
Description
CI now runs on Merge Queue branches
Review Checklist
Once the review is done, comment
bors r+
(orbors merge
) to merge. Further information