Don't relabel to a team if there is already a team label#93944

Merged

bors merged 1 commit intorust-lang:masterfrom

jackh726:team-exclude

Feb 13, 2022

Commits on Feb 12, 2022

Don't relabel to a team if there is already a team label
jackh726
committed