Skip to content

chore(deps): bump devtools-github-repo to 1.4.2#2350

Merged
addaleax merged 1 commit intomainfrom
devtools-gh-repo-142
Feb 3, 2025
Merged

chore(deps): bump devtools-github-repo to 1.4.2#2350
addaleax merged 1 commit intomainfrom
devtools-gh-repo-142

Conversation

@addaleax
Copy link
Copy Markdown
Collaborator

@addaleax addaleax commented Feb 3, 2025

@addaleax addaleax added the no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion) label Feb 3, 2025
@addaleax addaleax merged commit 7646b34 into main Feb 3, 2025
13 of 14 checks passed
@addaleax addaleax deleted the devtools-gh-repo-142 branch February 3, 2025 16:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants