Skip to content
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

.gitlint: de-duplicate defaults with zephyr_commit_rules.py #62876

Merged
merged 1 commit into from
Sep 21, 2023

Conversation

marc-hb
Copy link
Collaborator

@marc-hb marc-hb commented Sep 20, 2023

We don't need to have two different sets of Zephyr-specific default values overriding one another, it's confusing.

Note this commit makes NO functional change, the effective defaults stay the same. It does however make it easier to change defaults in the future.

keith-zephyr
keith-zephyr previously approved these changes Sep 20, 2023
We don't need to have two different sets of Zephyr-specific default
values overriding one another, it's confusing.

Note this commit makes NO functional change, the effective defaults stay
the same. It does however make it easier to change defaults in the
future.

Signed-off-by: Marc Herbert <[email protected]>
@marc-hb
Copy link
Collaborator Author

marc-hb commented Sep 20, 2023

Thanks @keith-zephyr ! I just spotted a typo in a comment and force-pushed 10 min after you approved :-( Could you re-approve? Sorry for the inconvenience.

@carlescufi carlescufi merged commit 8e7c7c6 into zephyrproject-rtos:main Sep 21, 2023
16 checks passed
@marc-hb marc-hb deleted the dedup-gitlint-defaults branch December 5, 2023 06:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants