chore: exclude coqbot commits from linting

Author: dafyddj

commitlint.config.js

@@ -6,6 +6,7 @@ module.exports = {
         'header-max-length': [2, 'always', 72],
     },
     ignores: [
-        (commit) => commit.startsWith("chore(deps):")
+        (commit) => commit.startsWith("chore(deps):"),
+        (commit) => commit.startsWith("[CI merge]")
     ],
 };