tools/gitlint

[general]
extra-path=tools/
ignore=body-is-missing
ignore-fixup-commits=false
ignore-fixup-amend-commits=false

[title-max-length]
line-length=72

[title-min-length]
min-length=1

[body-max-line-length]
line-length=76

[body-min-length]
min-length=0