ShockVPN/shockbot
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Improve PR review on external PRs

Browse Source
This commit is contained in:
Colin McDonnell
2025-12-15 19:10:10 -08:00
parent 0cdbc95e17
commit b7511752b6
2 changed files with 41 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
mcp/prInfo.ts
+7 -5
View File
@@ -32,12 +32,14 @@ export const PullRequestInfoTool = tool({
log.info(`Fetching base branch: origin/${baseBranch}`);
$("git", ["fetch", "origin", baseBranch, "--depth=20"]);
log.info(`Fetching PR branch: origin/${headBranch}`);
$("git", ["fetch", "origin", headBranch]);
// use GitHub's PR ref which works for both fork and non-fork PRs
// refs/pull/{number}/head always points to the PR head commit
log.info(`Fetching PR #${pull_number} using refs/pull/${pull_number}/head`);
$("git", ["fetch", "origin", `refs/pull/${pull_number}/head`]);
log.info(`Checking out PR branch: origin/${headBranch}`);
// check out a local branch tracking the remote branch so we can push changes
$("git", ["checkout", "-B", headBranch, `origin/${headBranch}`]);
log.info(`Checking out PR branch: ${headBranch}`);
// check out a local branch from FETCH_HEAD (the PR ref we just fetched)
$("git", ["checkout", "-B", headBranch, "FETCH_HEAD"]);
return {
number: data.number,