fix repo

Author: jasonyang101

src/agentex/lib/cli/commands/agents.py

@@ -146,8 +146,8 @@ def build(
     try:
         image_url = build_agent(
             manifest_path=manifest,
-            registry_url=registry,  # Now guaranteed to be non-None
-            repository_name=repository_name or "default-repo",  # Provide default
+            registry_url=registry,
+            repository_name=repository_name,
             platforms=platform_list,
             push=push,
             secret=secret or "",  # Provide default empty string

src/agentex/lib/cli/handlers/agent_handlers.py

@@ -21,7 +21,7 @@ class DockerBuildError(Exception):
 def build_agent(
     manifest_path: str,
     registry_url: str,
-    repository_name: str,
+    repository_name: str | None,
     platforms: list[str],
     push: bool = False,
     secret: str = None,