Skip to content

Conversation

@fengelniederhammer
Copy link
Contributor

@fengelniederhammer fengelniederhammer commented Jan 8, 2026

Summary

Screenshot

PR Checklist

  • All necessary documentation has been adapted.
    - [ ] The implemented feature is covered by an appropriate test.

@vercel
Copy link

vercel bot commented Jan 8, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Review Updated (UTC)
dashboards Ready Ready Preview, Comment Jan 8, 2026 10:01am

@fengelniederhammer fengelniederhammer changed the title lint PR title instead of commits ci: lint PR title instead of commits Jan 8, 2026
@fengelniederhammer fengelniederhammer changed the title ci: lint PR title instead of commits lint PR title instead of commits Jan 8, 2026
@fengelniederhammer fengelniederhammer changed the title lint PR title instead of commits ci: lint PR title instead of commits Jan 8, 2026
@fengelniederhammer fengelniederhammer self-assigned this Jan 8, 2026
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR refactors the commitlint workflow to validate PR titles instead of individual commit messages, aligning with the repository's squash-merge strategy where PR titles become the final commit messages on the main branch.

  • Removes unused npm scripts for commit linting
  • Updates CI workflow to lint PR titles on the edited event
  • Updates documentation to clarify that PR titles must follow conventional commits

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.

File Description
package.json Removed now-unused commitlint npm scripts
CONTRIBUTING.md Clarified that PR titles must follow conventional commits format
.github/workflows/commitlint.yml Changed workflow to lint PR titles instead of commits and added edited trigger

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@fengelniederhammer fengelniederhammer changed the title ci: lint PR title instead of commits foo"; ls -al; echo "bar Jan 8, 2026
@fengelniederhammer fengelniederhammer changed the title foo"; ls -al; echo "bar ci: lint PR title instead of commits Jan 8, 2026
@fengelniederhammer fengelniederhammer merged commit 5f769b8 into main Jan 13, 2026
10 of 11 checks passed
@fengelniederhammer fengelniederhammer deleted the commitlintPrTitle branch January 13, 2026 07:20
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.

3 participants