squash Pylint warning in deploy script

With this tweak, deploy.py is Pylint-warning-free. I do not think it makes sense
to write docstrings on a main function.

diff --git a/ci/deploy.py b/ci/deploy.py
index 71ccad0d0746bbfea68d68970042130d146b2cf7..e526be1bfa224a61bf06f3d861757a1c9ee03ffa 100644 (file)
--- a/ci/deploy.py
+++ b/ci/deploy.py
@@ -90,7 +90,7 @@ def is_windows_artifact(path: Path) -> bool:
   """is this a deployment artifact for Windows?"""
   return re.search(r"\bwindows\b", str(path)) is not None
 
-def main(args: List[str]) -> int:
+def main(args: List[str]) -> int: # pylint: disable=missing-function-docstring
 
   # setup logging to print to stderr
   global log