From c431373bd55cfd47fa5061f540ea767cdab2574c Mon Sep 17 00:00:00 2001
From: lx <92799281+brilliant-lx@users.noreply.github.com>
Date: Tue, 22 Aug 2023 21:35:43 +0800
Subject: [PATCH] ci: increase header-max-length from 72 to 80 for master
 branch (#1834)

PR merge will append the PR number at the end, like:... (#1805), which
has extra 8 characters
---
 .github/commitlint.config.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/commitlint.config.js b/.github/commitlint.config.js
index ee22a331bc..1f0f247be5 100644
--- a/.github/commitlint.config.js
+++ b/.github/commitlint.config.js
@@ -36,7 +36,7 @@ module.exports = {
     'header-max-length': [
       2,
       'always',
-      72,
+      80,
     ],
   },
   helpUrl: