Skip to content

Make PR label checker non-mandatory #10864

Open
@jackzhxng

Description

@jackzhxng

🚀 The feature, motivation and pitch

PRs will have release notes: none added by default but receive a comment advising to update the label so that CI is not automatically blocked

Alternatives

No response

Additional context

No response

RFC (Optional)

No response

Metadata

Metadata

Assignees

Labels

module: dev infraIssues related to developer infrastructure (other than CI, which is module: ci)

Type

No type

Projects

Status

In progress

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions