paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-14 10:57:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

tools/lint: Require a space after every : in JSON files.

Browse Source
This commit is contained in:
Eeshan Garg
2018-03-02 17:36:21 -03:30
committed by Tim Abbott
parent 50a66725a1
commit 59581f6a32
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
tools/linter_lib/custom_check.py
View File

@@ -681,6 +681,9 @@ def build_custom_checkers(by_lang):
'strip': '\n',
'exclude': set(['zerver/webhooks/']),
'description': 'Fix tab-based whitespace'},
{'pattern': ':[\"\[\{]',
'exclude': set(['zerver/webhooks/', 'zerver/fixtures/']),
'description': 'Require space after : in JSON'},
] # type: RuleList
markdown_rules = markdown_whitespace_rules + prose_style_rules + [
{'pattern': '\[(?P<url>[^\]]+)\]\((?P=url)\)',