Skip to content

[ci] Automatically add "solved" label and correct milestone to issue when PR is merged #252

Closed
#253
Closed
[ci] Automatically add "solved" label and correct milestone to issue when PR is merged#252
#253
Assignees
ncarenton
Labels
solvedResolved (should be linked to the solving PR).tech foundationLinked to tech foundation.
@ncarenton

Description

@ncarenton
ncarenton
opened on May 21, 2026

Automatically add solved label and correct milestone to issue when PR is merged

Metadata

Metadata

Assignees

Labels

solvedResolved (should be linked to the solving PR).tech foundationLinked to tech foundation.

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions