linter: Add rule to favor Botserver over botserver or bot server.

This commit is contained in:
Robert Hönig 2018-05-29 10:59:15 +02:00
parent 64a1306e39
commit 8e653fe064

View file

@ -194,6 +194,8 @@ def build_custom_checkers(by_lang):
'description': "Organization is spelled with a z"},
{'pattern': '!!! warning',
'description': "!!! warning is invalid; it's spelled '!!! warn'"},
{'pattern': '[^-_]botserver(?!rc)|bot server',
'description': "Use Botserver instead of botserver or Botserver."},
] # type: RuleList
json_rules = [] # type: RuleList # fix newlines at ends of files
# It is okay that json_rules is empty, because the empty list