+ # Gitlint only proposes a pre-commit configuration for the commit-msg stage but none for the commit stage.
+ # Its default arguments --passed and --msg-filename are different from CI recommandations.
+ # As a result, the line above is skipped in jenkins CI since there cannot be a .git/COMMIT_EDITMSG file
+ # and the HOME variable must be passed to tox virtualenv so that Gitlint can access the git user configuration.
+ # A dedicated gitlint profile for CI is proposed below.
+
+[testenv:gitlint]
+basepython = python3
+deps = gitlint
+commands =
+ gitlint