Skip to content

chore(ci): add a PR title check workflow #247

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
May 14, 2025
Merged

chore(ci): add a PR title check workflow #247

merged 2 commits into from
May 14, 2025

Conversation

gagik
Copy link
Collaborator

@gagik gagik commented May 14, 2025

To make our commit messages more consistent as with other DevTools repos, adds a PR title check without enforcing Jira tickets being included for the time being.

@gagik gagik requested a review from a team as a code owner May 14, 2025 08:59
@gagik gagik added no-title-validation Add this label to disable the title check for this PR. and removed no-title-validation Add this label to disable the title check for this PR. labels May 14, 2025
To make our commit messages more consistent, adds a PR check without enforcing Jira tickets being included for the time being.
@gagik gagik force-pushed the gagik/check-title branch from 5dbaa5e to 9d0d9a1 Compare May 14, 2025 09:02
@wtrocki
Copy link
Collaborator

wtrocki commented May 14, 2025

@gagik Awesome contribution! Added note to the contributing guide to inform users before they make PRs

@gagik gagik enabled auto-merge (squash) May 14, 2025 09:08
@gagik gagik merged commit d7e8fa2 into main May 14, 2025
17 checks passed
@gagik gagik deleted the gagik/check-title branch May 14, 2025 09:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants