mirror of
https://github.com/zulip/zulip.git
synced 2025-11-04 14:03:30 +00:00
remote dev: Add code and instructions for creating digital ocean droplets.
Mostly copied from the zulip/zulip-gci repository, but with some changes to wordings and code cleanup for linters.
This commit is contained in:
@@ -260,6 +260,7 @@ def build_custom_checkers(by_lang):
|
||||
'bad_lines': ["'foo':bar", "'foo':1"]},
|
||||
{'pattern': "^\s+#\w",
|
||||
'strip': '\n',
|
||||
'exclude': set(['tools/droplets/create.py']),
|
||||
'description': 'Missing whitespace after "#"',
|
||||
'good_lines': ['a = b # some operation', '1+2 # 3 is the result'],
|
||||
'bad_lines': [' #some operation', ' #not valid!!!']},
|
||||
|
||||
Reference in New Issue
Block a user