feat(scripts/autolabel): allow multiple topic labels to be added#34038

joneugster wants to merge 2 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

joneugster:eugster/autolabel-allow-up-to-threejoneugster/mathlib:eugster/autolabel-allow-up-to-threeCopy head branch name to clipboard