Merge branch 'main' of https://github.com/pullfrog/action
This commit is contained in:
@@ -0,0 +1,7 @@
|
|||||||
|
import { configure } from "arktype/config";
|
||||||
|
|
||||||
|
configure({
|
||||||
|
toJsonSchema: {
|
||||||
|
dialect: null,
|
||||||
|
},
|
||||||
|
});
|
||||||
+2
-1
@@ -1,3 +1,5 @@
|
|||||||
|
import "./arkConfig.ts";
|
||||||
|
// this must be imported first
|
||||||
import { FastMCP } from "fastmcp";
|
import { FastMCP } from "fastmcp";
|
||||||
import { ghPullfrogMcpName } from "../external.ts";
|
import { ghPullfrogMcpName } from "../external.ts";
|
||||||
import { GetCheckSuiteLogsTool } from "./checkSuite.ts";
|
import { GetCheckSuiteLogsTool } from "./checkSuite.ts";
|
||||||
@@ -27,7 +29,6 @@ addTools(server, [
|
|||||||
CreateWorkingCommentTool,
|
CreateWorkingCommentTool,
|
||||||
UpdateWorkingCommentTool,
|
UpdateWorkingCommentTool,
|
||||||
IssueTool,
|
IssueTool,
|
||||||
// ListFilesTool,
|
|
||||||
PullRequestTool,
|
PullRequestTool,
|
||||||
ReviewTool,
|
ReviewTool,
|
||||||
PullRequestInfoTool,
|
PullRequestInfoTool,
|
||||||
|
|||||||
Reference in New Issue
Block a user