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')