ci/test_font_tags.py: rename dev to prod since we are checking the prod server

diff --git a/.ci/test_font_tags.py b/.ci/test_font_tags.py
index 7263e0f0f6d9cc731207661562ca909126da1053..43b7ef0ef7da3e9987415ead4fa242c4ae293ca3 100644 (file)
--- a/.ci/test_font_tags.py
+++ b/.ci/test_font_tags.py
@@ -2,10 +2,10 @@ import json
 from urllib.request import urlopen
 import sys
 
-dev_data = json.loads(
+prod_data = json.loads(
     urlopen("https://fonts.google.com/metadata/fonts").read().decode("utf-8")
 )
-dev_families = set(f["family"] for f in dev_data["familyMetadataList"])
+prod_families = set(f["family"] for f in prod_data["familyMetadataList"])
 
 csv_data = (
     urlopen("https://raw.githubusercontent.com/google/fonts/main/tags/all/families.csv")
@@ -19,7 +19,7 @@ csv_families = set(
     if line.split(",")[0] != "Family"
 )
 
-families_missing_tags = sorted(dev_families - csv_families)
+families_missing_tags = sorted(prod_families - csv_families)
 
 if families_missing_tags:
     missing_list = "\n".join(families_missing_tags)