Add additional tools

2025-11-20 00:34:03 -08:00
parent 098df15764
commit 85f8fbfaf5
7 changed files with 185 additions and 15 deletions
@@ -36,7 +36,8 @@ export const PullRequestInfoTool = tool({
    execSync(`git fetch origin ${headBranch}`, { stdio: "inherit" });

    log.info(`Checking out PR branch: origin/${headBranch}`);
-    execSync(`git checkout origin/${headBranch}`, { stdio: "inherit" });
+    // check out a local branch tracking the remote branch so we can push changes
+    execSync(`git checkout -B ${headBranch} origin/${headBranch}`, { stdio: "inherit" });

    return {
      number: data.number,