diff options
| author | Joris Roovers <joris.roovers@gmail.com> | 2020-08-22 14:12:45 +0200 |
|---|---|---|
| committer | Joris Roovers <joris.roovers@gmail.com> | 2020-09-04 11:38:13 +0200 |
| commit | 25364eb3f2766dc6facc8b4abc9f31ecea978c4b (patch) | |
| tree | f177768f18868dfa9ea0757b6037a67f09945811 /docs/configuration.md | |
| parent | 01c440a0eb10edacde6742a4061f616a5811919b (diff) | |
User-defined Configuration Rules
Allows users to dynamically change gitlint's configuration and/or the commit
*before* any other rules are applied.
Relates to #126
Diffstat (limited to 'docs/configuration.md')
| -rw-r--r-- | docs/configuration.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/configuration.md b/docs/configuration.md index 641b361..3a99edc 100644 --- a/docs/configuration.md +++ b/docs/configuration.md @@ -214,7 +214,7 @@ gitlint -c general.verbosity=1 # Set specific level gitlint -c general.verbosity=0 # Same as --silent ``` ```ini -.gitlint +# .gitlint [general] verbosity=2 ``` |