Skip to content

ci: vérifie les commits de la PR avec l'historique complet - #29

Merged
TheGuit merged 1 commit into
mainfrom
ci/commitlint-pr
Oct 28, 2026
Merged

TheGuit merged 1 commit into
mainfrom
ci/commitlint-pr

Conversation

@TheGuit

@TheGuit TheGuit commented Oct 28, 2026

Copy link
Copy Markdown
Contributor

En profondeur 1, la CI d'une PR n'extrait que le commit de merge créé par GitHub : commitlint l'ignore et laisse passer les commits de la PR, qui n'échouent qu'une fois sur main. Avec l'historique complet, commitlint --to HEAD vérifie les mêmes commits en PR et sur main.

En profondeur 1, la CI d'une PR n'extrait que le commit de merge créé
par GitHub : commitlint l'ignore et laisse passer les commits de la
PR, qui n'échouent qu'une fois sur main. Avec l'historique complet,
`commitlint --to HEAD` vérifie les mêmes commits en PR et sur main.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@TheGuit
TheGuit merged commit c6afc2f into main Oct 28, 2026
6 checks passed
@TheGuit
TheGuit deleted the ci/commitlint-pr branch October 28, 2026 11:07

This branch was successfully deployed

1 active deployment
test — d1eb5a9e Deployed Oct 28, 2026 by TheGuit via deploy-test #38
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.

1 participant