From 8dfb0c6675e3288df5f43ad6d6783a28384b44b0 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 31 Oct 2021 09:25:39 +0530 Subject: [PATCH] Dont bother with type checking requests in the publish script --- publish.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/publish.py b/publish.py index 144f2ba6d..942c7f00e 100755 --- a/publish.py +++ b/publish.py @@ -19,7 +19,7 @@ import time from contextlib import contextmanager, suppress from typing import IO, Any, Dict, Generator, Iterable, Optional, cast -import requests +import requests # type: ignore os.chdir(os.path.dirname(os.path.abspath(__file__))) docs_dir = os.path.abspath('docs')