Skip to content

ci(backport): use pull_request.labeled#15214

Merged
gr2m merged 2 commits into
mainfrom
backport-use-pull-request-labeled
May 12, 2026
Merged

ci(backport): use pull_request.labeled#15214
gr2m merged 2 commits into
mainfrom
backport-use-pull-request-labeled

Conversation

@gr2m
Copy link
Copy Markdown
Collaborator

@gr2m gr2m commented May 12, 2026

No description provided.

@gr2m gr2m merged commit 74166ee into main May 12, 2026
14 of 15 checks passed
@gr2m gr2m deleted the backport-use-pull-request-labeled branch May 12, 2026 18:20
@gr2m gr2m added the backport Admins only: add this label to a pull request in order to backport it to the prior version label May 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport Admins only: add this label to a pull request in order to backport it to the prior version

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant