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: Id96dcab8ce500ee965e53dd53a51c6761811440e
Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com>
diff --git a/.editorconfig b/.editorconfig
index 12f786d..1b29c88 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -1,5 +1,5 @@
#
-# Copyright (c) 2017-2020, Arm Limited and Contributors. All rights reserved.
+# Copyright (c) 2017-2024, Arm Limited and Contributors. All rights reserved.
#
# SPDX-License-Identifier: BSD-3-Clause
#
@@ -70,3 +70,6 @@
# [PEP8] Maximum Line Length
# "Limit all lines to a maximum of 79 characters."
max_line_length = 79
+
+[.git/COMMIT_EDITMSG]
+max_line_length = 72