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
solveduse to identify issue that has been solved (must be linked to the solving PR)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

solveduse to identify issue that has been solved (must be linked to the solving PR)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