diff options
| -rw-r--r-- | .github/commitlint.config.js | 1 | ||||
| -rw-r--r-- | doc/developer/workflow.rst | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/.github/commitlint.config.js b/.github/commitlint.config.js index d23bd2d80b..2b420b6fbf 100644 --- a/.github/commitlint.config.js +++ b/.github/commitlint.config.js @@ -42,6 +42,5 @@ module.exports = { ], 'subject-empty': [2, 'never'], 'subject-full-stop': [2, 'never', '.'], - 'subject-case': [2, 'always', 'sentence-case'], }, }; diff --git a/doc/developer/workflow.rst b/doc/developer/workflow.rst index 320824ec1d..835c1d1d99 100644 --- a/doc/developer/workflow.rst +++ b/doc/developer/workflow.rst @@ -365,7 +365,6 @@ There is a built-in commit linter. Basic rules: `Check <https://github.com/FRRouting/frr/tree/master/.github/commitlint.config.js>`_ all the supported subsystems. -- Commit messages must start with a capital letter - Commit messages must not end with a period ``.`` Why was my pull request closed? |