change: add DEV_SPACE_CONFIG for dev environment

.github/tools/config.py

@@ -2,10 +2,10 @@ from typing import Dict, Literal
 
 from model import Config
 
-UserName = Literal["default"]
+ProductionSpace = Literal["production"]
 
-PRODUCTION_SPACE_CONFIG: Dict[UserName, Config] = {
-    "default": {
+PRODUCTION_SPACE_CONFIG: Dict[ProductionSpace, Config] = {
+    "production": {
         "space_name": "example",
         "space_owner": "jy-raychen",
         "space_readme": {
@@ -20,3 +20,22 @@ PRODUCTION_SPACE_CONFIG: Dict[UserName, Config] = {
         },
     }
 }
+
+UserName = Literal["default"]
+
+DEV_SPACE_CONFIG: Dict[UserName, Config] = {
+    "default": {
+        "space_name": "dev-space",
+        "space_owner": "jy-raychen",
+        "space_readme": {
+            "title": "Hugging Face Developing",
+            "emoji": "🏢",
+            "color_from": "blue",
+            "color_to": "indigo",
+            "sdk": "gradio",
+            "sdk_version": "4.36.0",
+            "app_file": "app.py",
+            "pinned": False,
+        },
+    },
+}

.github/tools/deploy_to_space.py

@@ -2,7 +2,7 @@ import argparse
 import subprocess
 import sys
 
-from config import PRODUCTION_SPACE_CONFIG
+from config import DEV_SPACE_CONFIG, PRODUCTION_SPACE_CONFIG
 from model import Space
 
 
@@ -36,10 +36,9 @@ if __name__ == "__main__":
     args = parser.parse_args()
 
     if args.mode == "prod":
-        space = Space(PRODUCTION_SPACE_CONFIG["default"])
+        space = Space(PRODUCTION_SPACE_CONFIG["production"])
     elif args.mode == "dev":
-        # TODO: Use dev space config when deploy to dev environment.
-        space = Space(PRODUCTION_SPACE_CONFIG["default"])
+        space = Space(DEV_SPACE_CONFIG["default"])
 
     push_result = force_push_to_remote(
         space, args.username, args.user_token, args.branch_name

.github/tools/generate_readme.py

@@ -1,7 +1,7 @@
 import argparse
 import sys
 
-from config import PRODUCTION_SPACE_CONFIG
+from config import DEV_SPACE_CONFIG, PRODUCTION_SPACE_CONFIG
 from model import ReadMe, Space
 
 DEFAULT_USER = "jy-raychen"
@@ -30,10 +30,9 @@ if __name__ == "__main__":
     args = parser.parse_args()
 
     if args.mode == "prod":
-        space = Space(PRODUCTION_SPACE_CONFIG["default"])
+        space = Space(PRODUCTION_SPACE_CONFIG["production"])
     elif args.mode == "dev":
-        # TODO: Use dev space config when deploy to dev environment.
-        space = Space(PRODUCTION_SPACE_CONFIG["default"])
+        space = Space(DEV_SPACE_CONFIG["default"])
 
     readme = readme_template(space.readme)
     print(readme)