chore(CI): allow release managers to use auto-merge-after-CI (#37385)

Garmelon · Garmelon · commit e4fca65b4fae · 2026-03-30T18:48:00.000Z
Co-authored-by: Joscha &lt;joscha@plugh.de&gt;
diff --git a/.github/workflows/build_template.yml b/.github/workflows/build_template.yml
@@ -955,6 +955,7 @@ jobs:
             steps.get-label-actor.outputs.username == 'mathlib-update-dependencies' ||
             steps.get-label-actor.outputs.username == 'mathlib-splicebot' ||
             contains(steps.actorTeams.outputs.teams, 'mathlib-maintainers') ||
+            contains(steps.actorTeams.outputs.teams, 'lean-release-managers') ||
             contains(steps.actorTeams.outputs.teams, 'bot-users')
           )
         name: If `auto-merge-after-CI` is present, add a `bors merge` comment.

Original file line number	Diff line number	Diff line change
`@@ -955,6 +955,7 @@ jobs:`
`955`	`955`	`steps.get-label-actor.outputs.username == 'mathlib-update-dependencies' \|\|`
`956`	`956`	`steps.get-label-actor.outputs.username == 'mathlib-splicebot' \|\|`
`957`	`957`	`contains(steps.actorTeams.outputs.teams, 'mathlib-maintainers') \|\|`
	`958`	`+ contains(steps.actorTeams.outputs.teams, 'lean-release-managers') \|\|`
`958`	`959`	`contains(steps.actorTeams.outputs.teams, 'bot-users')`
`959`	`960`	`)`
`960`	`961`	name: If `auto-merge-after-CI` is present, add a `bors merge` comment.