Skip to content

Conversation

@gsabran
Copy link
Contributor

@gsabran gsabran commented May 16, 2025

The first two commits are those with meaningful code change.
Still worth looking at the 3rd one to decide which lint rules to change.

Added a CI test that verifies that the code is linted in the PR.

If this merges, the best way for people who need to rebase is to cherry-pick the lint rules (603e32c) and run the linter on their branch.
I don't think the new CI check would catch anything on branches not based on this change.

Copy link
Owner

@jamesrochabrun jamesrochabrun left a comment

Choose a reason for hiding this comment

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

Thank you so much!

@jamesrochabrun jamesrochabrun merged commit 89db725 into jamesrochabrun:main May 16, 2025
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