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

tools: Rename tools/travis directory to tools/ci.

Browse Source
This commit is contained in:
Vishnu Ks
2018-12-10 12:35:16 +05:30
committed by Tim Abbott
parent a1d99adce7
commit a86faecff5
16 changed files with 26 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/linter_lib/custom_check.py
View File

@@ -239,7 +239,7 @@ def build_custom_checkers(by_lang):
},
{'pattern': '\t',
'strip': '\n',
'exclude': set(['tools/travis/success-http-headers.txt']),
'exclude': set(['tools/ci/success-http-headers.txt']),
'description': 'Fix tab-based whitespace'},
] # type: RuleList
comma_whitespace_rule = [