From 26ab425ea0e356c5064bd5c4b983ff01b9bd0995 Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Thu, 7 Jul 2022 19:29:15 -0700
Subject: [PATCH] CI: call Windows ZIP artifact 'archive' not 'installer'
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

This is what the website’s JSON has always called this artifact, but a mistake
in 32b91edef64d1c726c88c7a7d6e68239399cc358 labelled this 'installer' instead.
---
 ci/deploy.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/deploy.py b/ci/deploy.py
index 28a660d02..d4a647582 100644
--- a/ci/deploy.py
+++ b/ci/deploy.py
@@ -88,7 +88,7 @@ def get_format(path: Path) -> str:
   if path.suffix[1:].lower() == "exe":
     return "EXE installer"
   if path.suffix[1:].lower() == "zip":
-    return "ZIP installer"
+    return "ZIP archive"
   return path.suffix[1:].lower()
 
 def main(args: List[str]) -> int: # pylint: disable=missing-function-docstring
-- 
2.40.0