GitHub
create_pull_request_with_copilot
Delegate a task to GitHub Copilot coding agent to perform in the background. The agent will create a pull request with the implementation. You should use this tool if the user asks to create a pull request to perform a specific task, or if the user asks Copilot to do something.
Remote github
Other tools also called create_pull_request_with_copilot?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"repo": {
"type": "string",
"description": "Repository name. You can guess the repository name, but confirm it with the user before proceeding."
},
"owner": {
"type": "string",
"description": "Repository owner. You can guess the owner, but confirm it with the user before proceeding."
},
"title": {
"type": "string",
"description": "Title for the pull request that will be created"
},
"base_ref": {
"type": "string",
"description": "Git reference (e.g., branch) that the agent will start its work from. If not specified, defaults to the repository's default branch"
},
"problem_statement": {
"type": "string",
"description": "Detailed description of the task to be performed (e.g., 'Implement a feature that does X', 'Fix bug Y', etc.)"
}
}
}