no-merges: match titles instead of labels#1720

Merged

ehuss merged 1 commit intorust-lang:masterfrom pitaj:no-merges_exclude-titles

Oct 15, 2023

+32-14

Commits on Sep 29, 2023

no-merges: match titles instead of labels
pitaj
committed