Skip to content

ci(labels): automatic PR label management#727

Merged
thomasleplus merged 2 commits intomainfrom
auto-pr-labels
Aug 6, 2025
Merged

ci(labels): automatic PR label management#727
thomasleplus merged 2 commits intomainfrom
auto-pr-labels

Conversation

@thomasleplus
Copy link
Copy Markdown
Member

Readiness checklist

Please check the boxes below to confirm that you have followed the
required guidelines for contributions:

  • If this pull request includes code changes, they were all properly tested. Automated tests were also included where possible.
  • If applicable, this pull request includes the relevant documentation for this change.
  • If this pull request is related to an existing issue, you can use the same description below but in any case include a link to the issue like Fixes #ISSUE_NUMBER. or Closes #ISSUE_NUMBER..
  • All the commits in this pull request were squashed into a single commit. That commit is signed.

Description

  • Enforce that first commit's message matches PR title
  • Enforce that first commit message and PR title follow conventional commit convention
  • Enforce that all commits are signed
  • Update PR labels to include conventional commit message type
  • Add 'dependencies' label to PR for certain conventional commit message types
  • Add 'no-release-notes' label to PR for certain conventional commit message types

@github-actions github-actions bot added ci [Conventional Commits] Changes to our CI configuration files and scripts no-release-notes Skip this pull request in release notes labels Aug 6, 2025
@thomasleplus thomasleplus enabled auto-merge (squash) August 6, 2025 18:37
@thomasleplus thomasleplus disabled auto-merge August 6, 2025 18:39
@thomasleplus thomasleplus enabled auto-merge (squash) August 6, 2025 18:39
@thomasleplus thomasleplus disabled auto-merge August 6, 2025 18:39
@thomasleplus thomasleplus merged commit a15f0c1 into main Aug 6, 2025
19 checks passed
@thomasleplus thomasleplus deleted the auto-pr-labels branch August 6, 2025 18:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci [Conventional Commits] Changes to our CI configuration files and scripts no-release-notes Skip this pull request in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant