Skip to content

Commit 7588333

Browse files
amanagrtimabbott
authored andcommitted
lint: Use zulint's methods for lister and printing errors.
Remove lister, printer and README files from server_lib.
1 parent 101049d commit 7588333

File tree

6 files changed

+2
-195
lines changed

6 files changed

+2
-195
lines changed

tools/custom_check.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -137,7 +137,6 @@
137137

138138
markdown_docs_length_exclude = {
139139
"zulip_bots/zulip_bots/bots/converter/doc.md",
140-
"tools/server_lib/README.md",
141140
}
142141

143142
markdown_rules = RuleList(

tools/pep8.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
import subprocess
88
import sys
99

10-
from server_lib.printer import print_err, colors
10+
from zulint.printer import print_err, colors
1111

1212
from typing import List
1313

tools/run-mypy

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ import subprocess
1010

1111
from collections import OrderedDict
1212
from pathlib import PurePath
13-
from server_lib import lister
13+
from zulint import lister
1414
from typing import cast, Dict, List
1515

1616
TOOLS_DIR = os.path.dirname(os.path.abspath(__file__))

tools/server_lib/README.md

Lines changed: 0 additions & 11 deletions
This file was deleted.

tools/server_lib/lister.py

Lines changed: 0 additions & 130 deletions
This file was deleted.

tools/server_lib/printer.py

Lines changed: 0 additions & 51 deletions
This file was deleted.

0 commit comments

Comments
 (0)