update upload-pypi script to the new versioning scheme (#14625)

When uploading 1.0.0, I realized that this script needs updating.
python · Feb 7, 2023 · 8cc024e · 8cc024e
1 parent 725214b
commit 8cc024e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/misc/upload-pypi.py b/misc/upload-pypi.py
@@ -119,7 +119,7 @@ def upload_dist(dist: Path, dry_run: bool = True) -> None:
 
 
 def upload_to_pypi(version: str, dry_run: bool = True) -> None:
-    assert re.match(r"v?0\.[0-9]{3}(\+\S+)?$", version)
+    assert re.match(r"v?[1-9]\.[0-9]+\.[0-9](\+\S+)?$", version)
     if "dev" in version:
         assert dry_run, "Must use --dry-run with dev versions of mypy"
     if version.startswith("v"):