Skip to content

Drop commitlint in this project - #3765

Merged
willdurand merged 1 commit into
masterfrom
rm-commitlint
Jul 2, 2026
Merged

Drop commitlint in this project#3765
willdurand merged 1 commit into
masterfrom
rm-commitlint

Conversation

@willdurand

Copy link
Copy Markdown
Member

I've been fighting with this linter for a long time. The reality is that
this is the only project that enforces rules on commit titles. That's
the main reason why I am proposing to drop commitlint in this PR.

@willdurand
willdurand requested a review from rpl July 2, 2026 07:22

@rpl rpl left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

lgtm

@willdurand
willdurand merged commit b18c00b into master Jul 2, 2026
4 checks passed
@willdurand
willdurand deleted the rm-commitlint branch July 2, 2026 12:36
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