paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-04 05:53:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Robert Hönig
2018-05-29 10:54:26 +02:00
committed by Tim Abbott
parent fe6b46dfa6
commit afa806a0ce
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/linter_lib/custom_check.py
View File

@@ -595,6 +595,8 @@ def build_custom_checkers(by_lang):
'description': "!!! warning is invalid; it's spelled '!!! warn'"},
{'pattern': 'Terms of service',
'description': "The S in Terms of Service is capitalized"},
{'pattern': '[^-_]botserver(?!rc)|bot server',
'description': "Use Botserver instead of botserver or bot server."},
]) + comma_whitespace_rule
html_rules = whitespace_rules + prose_style_rules + [
{'pattern': 'placeholder="[^{#](?:(?!\.com).)+$',