fix git push auth

This commit is contained in:
David Blass
2025-10-23 16:12:15 -04:00
parent c0f31415a3
commit 1922352d86
6 changed files with 39 additions and 23 deletions
+3 -6
View File
@@ -2,18 +2,15 @@
* Simple MCP configuration helper for adding our minimal GitHub comment server
*/
import { fromHere } from "@ark/fs";
import { parseRepoContext } from "../utils/github.ts";
const actionPath = fromHere("..");
export const mcpServerName = "gh-pullfrog";
export function createMcpConfig(githubInstallationToken: string) {
const githubRepository = process.env.GITHUB_REPOSITORY;
if (!githubRepository) {
throw new Error(
"GITHUB_REPOSITORY environment variable is required for MCP GitHub integration"
);
}
const repoContext = parseRepoContext();
const githubRepository = `${repoContext.owner}/${repoContext.name}`;
return JSON.stringify(
{