2 Commits

Author SHA1 Message Date
Reto Schneider
e1ca75e0d9 ci: Avoid gitlint warning I3
The ignore-body-lines regex also works for re.search(). Resolving the
warning by opting-in to the new behavior.

Relevant links:
 - https://jorisroovers.com/gitlint/configuration/#regex-style-search
 - https://github.com/jorisroovers/gitlint/issues/254
2023-03-03 15:51:36 +01:00
Reto Schneider
8218ddcffe [GH-585] ci: Integrate gitlint
This is a fairly default configuration, which, among other stuff,
checks for the subject line being 72 or less characters as required by
the Eclipse project handbook.

Non-default rules:
- Enforce at least 20 characters in the commit body
- Disallow the word "fixup" in the title messages. Intended to prevent
  accidents like d31d026cb24bc88730c065d3be800a8d8e78e2b0.

In case any of those rules get in the way, use the "gitlint-ignore" tag
in the commit message to suppress gitlint findings for this specific
commit. To configure a rule permanently, adapt .gitlint.

The GitHub Action runs only on PRs, not after each push. The idea is to
prevent annoyance when working on code, using WIP or other non-compliant
commit messages.
2021-04-21 22:44:31 +02:00