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

Allow Github style merge commits in no repeated commits rule #843

Conversation

Benedikt-Brunner
Copy link
Contributor

This adds a filter for Github style merge commits to the repeated commits rule. As it is a feature of the platform which by its automated nature will lead to repeated commit names, it's sensible to filter them out by default (the goal of making the programmer clearly state his intent with every real commit is still achieved).

There are several different approaches one could take to implementing this feature, including adding a dynamic filter based on the current platform or making the filter step configurable. However since i am new to the project and just wanted to get general feedback on the idea i decided on building the most simple version for now. If any of the more complex versions are desired i would also be happy to implement them.

@Benedikt-Brunner Benedikt-Brunner force-pushed the allow-github-merge-commits-in-repeated-commits-rule branch from 08d310e to 93b7360 Compare June 24, 2024 06:46
@shyim shyim merged commit 7b4f2ff into shyim:main Jun 24, 2024
5 checks passed
@shyim
Copy link
Owner

shyim commented Jun 24, 2024

Thank you!

@Benedikt-Brunner Benedikt-Brunner deleted the allow-github-merge-commits-in-repeated-commits-rule branch June 24, 2024 07:17
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.

None yet

2 participants