Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
joneugster wants to merge 2 commits into from
+7 −6
Closed

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

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8a0e77f
feat: allow up to 3 autolabels
joneugster Jan 16, 2026
71cba59
reduce from 3 to 2
joneugster Jan 16, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 7 additions & 6 deletions scripts/autolabel.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -332,7 +332,10 @@ unsafe def main (args : List String): IO UInt32 := do
match labels with
| #[] =>
println s!"::warning::no label to add"
| #[label] =>
| newLabels =>
if newLabels.size > 2 then
println s!"::notice::not adding multiple labels: {labels}"
return 0
match prNumber? with
| some n =>
let labelsPresent ← IO.Process.run {
Expand All @@ -344,14 +347,12 @@ unsafe def main (args : List String): IO UInt32 := do
| [] => -- if the PR does not have a label that this script could add, then we add a label
let _ ← IO.Process.run {
cmd := "gh",
args := #["pr", "edit", n, "--add-label", label] }
println s!"::notice::added label: {label}"
args := #["pr", "edit", n, "--add-label", s!"\"{",".intercalate newLabels.toList}\""] }
println s!"::notice::added label: {newLabels}"
| t_labels_already_present =>
println s!"::notice::Did not add label '{label}', since {t_labels_already_present} \
println s!"::notice::Did not add label '{newLabels}', since {t_labels_already_present} \
were already present"
| none =>
println s!"::warning::no PR-number provided, not adding labels. \
(call `lake exe autolabel 150602` to add the labels to PR `150602`)"
| _ =>
println s!"::notice::not adding multiple labels: {labels}"
return 0
Loading