Switch GitHub PR creation from CLI to REST API #22
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
Switch GitHub PR creation from CLI (
gh) to REST API calls, following the existing issue-fetching pattern.Motivation
ghCLI dependency for GitHub-origin repos.GitHubIssueClient).Acceptance Criteria
GitHubMrClientclass insrc/github/services/gitHubMrClient.tsMrClientinterface withcreateMr(input): Promise<CreateMrResult>POST /repos/{owner}/{repo}/pullsendpointHttpFetch/withRetryinfrastructuregitRunnerrunMrStageupdated to useGitHubMrClientforgithubplatformGitHubMrClient(success, 401, 403, 404, 429, 500, malformed response)mr-result.jsonschema unchangedghCLI in the GitHub code pathImplementation Steps
GitHubMrClientclass mirroringGitHubIssueClientrunMrStageto use deterministic git + REST for GitHubdefaultMrSkillBodynpm testandnpm run lintpassRelated
docs/design-rest-mr-creation.mddocs/implementation-plan-rest-mr.md(Milestone M2)