diff options
author | Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-05-10 11:38:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-10 11:38:53 +0200 |
commit | 7c915217b0513b34c179c409cff983352f685bf5 (patch) | |
tree | 8b66f795e83405e698453ecc3051fdc25c42576d /pylint/config/arguments_manager.py | |
parent | 133e2e59394528e3c2c16fd7ea921796bfcbef8d (diff) | |
download | pylint-git-7c915217b0513b34c179c409cff983352f685bf5.tar.gz |
Use main instead of master as main checker name (#6569)
Co-authored-by: Pierre Sassoulas <pierre.sassoulas@gmail.com>
Diffstat (limited to 'pylint/config/arguments_manager.py')
-rw-r--r-- | pylint/config/arguments_manager.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pylint/config/arguments_manager.py b/pylint/config/arguments_manager.py index f9b5a0a66..1efa0de29 100644 --- a/pylint/config/arguments_manager.py +++ b/pylint/config/arguments_manager.py @@ -130,7 +130,7 @@ class _ArgumentsManager: section_desc = provider.option_groups_descs.get(section, None) - # We exclude master since its docstring comes from PyLinter + # We exclude main since its docstring comes from PyLinter if provider.name != MAIN_CHECKER_NAME and provider.__doc__: section_desc = provider.__doc__.split("\n\n")[0] @@ -662,7 +662,7 @@ class _ArgumentsManager: for group in sorted( self._arg_parser._action_groups, - key=lambda x: (x.title != "Master", x.title), + key=lambda x: (x.title != "Main", x.title), ): # Skip the options section with the --help option if group.title in {"options", "optional arguments", "Commands"}: |