config(tidb): prioritize the PRs with Priority/P* labels in merging queue#971
Merged
ti-chi-bot[bot] merged 1 commit intomainfrom feature/support-tide-merge-prioritizeOct 13, 2023
+10
Priority/P* labels in merging queue#971