Automatically label PRs, allow manual labelling by anyone#11654
Merged
Turbo87 merged 1 commit intorust-lang:mainfrom Jul 29, 2025
Merged
Automatically label PRs, allow manual labelling by anyone#11654Turbo87 merged 1 commit intorust-lang:mainfrom
Turbo87 merged 1 commit intorust-lang:mainfrom