tree 90775c803f0b813c547ab599532a34bd27b6f8d8
parent 1bc61da619b0b375459ae221bd13bb25dcbf0bc2
author Boyan Karatotev <boyan.karatotev@arm.com> 1750945871 +0100
committer Boyan Karatotev <boyan.karatotev@arm.com> 1752733016 +0100

chore(commitlint): tell editors commit line lengths are 72 characters

The repository obeys an 100 character soft limit for source lines.
However, commit messages generally have lines shorter than 72 characters
to make gerrit print them without wrapping.

Annoyingly, the editorconfig can't express this and the 100 character
limit applies to commit messages, requiring manual formatting. Luckily,
when writing commit messages the file `.git/COMMIT_EDITMSG` is open. So
we can set its line length to be 72 characters.

Change-Id: I6c01b187a60f2caed1cbd98de647b63e989ebace
Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com>