minor fix

Author: john-b-yang

codeclash/agents/player.py

@@ -31,7 +31,7 @@ def __init__(
         self.game_context = game_context
         self.push = config.get("push", False)
         # Force the branch push (used on ladder resume, to overwrite an interrupted rung's partial
-        # pushes). Safe here because a run's push branch has a single writer. Uses --force-with-lease.
+        # pushes). Safe here because a run's push branch has a single writer.
         self._force_push = config.get("force_push", False)
         self.logger = get_logger(
             self.name,
@@ -151,7 +151,7 @@ def post_run_hook(self, *, round: int) -> None:
 
         if self.push:
             token = os.getenv("GITHUB_TOKEN")
-            force = " --force-with-lease" if self._force_push else ""
+            force = " --force" if self._force_push else ""
             # origin is absent during the agent's turn (see _isolate_git); re-add it only to push,
             # then remove it again so the next round's agent still can't reach opponent code.
             for cmd in [