feat(scripts/autolabel): allow multiple labels, avoid labels of dependent topic areas#34066

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

joneugster:eugster/autolabel-improvementsjoneugster/mathlib:eugster/autolabel-improvementsCopy head branch name to clipboard