do not add I-prioritize when F-* labels are present#150034
Merged
bors merged 1 commit intorust-lang:mainfrom Dec 16, 2025
Merged
do not add `I-prioritize` when `F-*` labels are present#150034bors merged 1 commit intorust-lang:mainfrom
bors merged 1 commit intorust-lang:mainfrom