Allow repo name to be passed from the CLI.

Author: jessemyers-lettuce

src/bot/cli.py

@@ -28,7 +28,6 @@ def print_tree(tree: Tree, parent: Path, depth: int = 0) -> None:
 @command()
 @option(
     "--repo-path",
-    "--repo",
     help="The path to the local git repository.",
     type=PathType(
         exists=True,
@@ -59,7 +58,6 @@ def read(
 @command()
 @option(
     "--repo-path",
-    "--repo",
     help="The path to the local git repository.",
     type=PathType(
         exists=True,
@@ -69,6 +67,10 @@ def read(
     ),
     required=True,
 )
+@option(
+    "--repo-name",
+    help="The (fully qualified) name of the GitHub repo.",
+)
 @option(
     "--branch",
     help="The remote branch on which to add the generated commit.",
@@ -98,14 +100,15 @@ def write(
     app_id: int,
     branch: str,
     private_key: str,
+    repo_name: str | None,
     repo_path: Path,
     ref: str,
 ) -> None:
     """Read a commit from a local git repo and write it to GitHub."""
     basic_config(level=INFO)
 
     repo = read_repo(repo_path)
-    repo_name = extract_repo_name(repo)
+    repo_name = repo_name or extract_repo_name(repo)
 
     github = authenticate_app(app_id, private_key)
     repository = github.get_repo(repo_name)