Commit 64c17d1d76d6
Changed files (1)
dots
pi
agent
extensions
github
actions
dots/pi/agent/extensions/github/actions/pr.ts
@@ -712,6 +712,7 @@ async function getPRTitle(
*/
async function getPRHeadSha(
pi: ExtensionAPI,
+ ctx: ExtensionContext,
prNumber: number,
signal?: AbortSignal,
): Promise<string | null> {
@@ -779,7 +780,7 @@ export async function handlePRLineComment(
onUpdate?.({ content: [{ type: "text", text: `Fetching PR #${params.number} HEAD SHA...` }] });
- const commitId = await getPRHeadSha(pi, params.number, signal);
+ const commitId = await getPRHeadSha(pi, ctx, params.number, signal);
if (!commitId) {
return {
content: [{ type: "text", text: `Error: Could not get HEAD commit SHA for PR #${params.number}` }],
@@ -895,7 +896,7 @@ export async function handlePRReviewWithComments(
onUpdate?.({ content: [{ type: "text", text: `Fetching PR #${params.number} HEAD SHA...` }] });
- const commitId = await getPRHeadSha(pi, params.number, signal);
+ const commitId = await getPRHeadSha(pi, ctx, params.number, signal);
if (!commitId) {
return {
content: [{ type: "text", text: `Error: Could not get HEAD commit SHA for PR #${params.number}` }],