Skip to content

add support for create_pull_request #63

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Apr 1, 2025
Merged

add support for create_pull_request #63

merged 2 commits into from
Apr 1, 2025

Conversation

juruen
Copy link
Collaborator

@juruen juruen commented Apr 1, 2025

Context

Fixes #60

This PR adds support for the create_pull_request tool.

Screenshot 2025-04-01 at 17 01 57

Screenshot 2025-04-01 at 17 02 34

@juruen juruen force-pushed the juruen/create-pr branch 3 times, most recently from 2cb0225 to d1a344a Compare April 1, 2025 15:00
@juruen juruen marked this pull request as ready for review April 1, 2025 15:03
@Copilot Copilot AI review requested due to automatic review settings April 1, 2025 15:03
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR adds support for a new tool, create_pull_request, to enable creating GitHub pull requests programmatically. Key changes include:

  • Registration of the create_pull_request tool in the server initialization.
  • Implementation of create_pull_request logic and its associated API call in pkg/github/pullrequests.go.
  • Addition of tests to verify proper tool behavior and integration.
  • Updates to the README documentation to include details for the new tool.

Reviewed Changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated 1 comment.

File Description
pkg/github/server.go Added the create_pull_request tool to the server's tool list.
pkg/github/pullrequests_test.go Added comprehensive tests for the create_pull_request functionality.
pkg/github/pullrequests.go Implemented the create_pull_request tool's logic and API call.
README.md Documented the new create_pull_request tool and its parameters.

Tip: Copilot only keeps its highest confidence comments to reduce noise and keep you focused. Learn more

@juruen juruen force-pushed the juruen/create-pr branch from d1a344a to fc99b14 Compare April 1, 2025 15:12
@toby toby self-assigned this Apr 1, 2025
@toby toby merged commit 5f3926d into main Apr 1, 2025
16 checks passed
manian0430 pushed a commit to ChrisLally/github-mcp-server that referenced this pull request Apr 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Missing a create_pull_request tool
2 participants