GitHub / warm
Get Pull Request
Retrieve a single PR by number, including head/base refs, mergeable status, and review state.
Quick Start
aweb inspect github.get_pull_request
aweb add github
aweb plan "use GitHub get pull request in an agent workflow"import Aweb, { Agent } from '@aweb/sdk';
const aweb = new Aweb({ apiKey: process.env.AWEB_API_KEY });
const agent = new Agent({ tools: aweb.tools });
agent.add('github');
const plan = await agent.plan('Use GitHub for this workflow');
const tool = await aweb.tools.inspect('github.get_pull_request');
console.log(plan.nextAction);
console.log(tool.inputSchema);Tool Card
Tool idgithub.get_pull_request
ProviderGitHub (github)
Tool nameget_pull_request
Activationwarm
Healthhealthy
Trust score1.00
Transportstreamable_http
Latencynot yet measured
Cost0
Requirements and Governance
Authoauth_2_1_pkce
Credentialsetup_required
Workspacerequired
Approvalnone
RiskREAD
Permissionsrepo, read:org, workflow, read
Credential setup/api/mcp-warehouse/credentials/github/init
Schemas
{
"type": "object",
"properties": {
"owner": {
"type": "string",
"description": "Repository owner"
},
"repo": {
"type": "string",
"description": "Repository name"
},
"pull_number": {
"type": "integer",
"description": "PR number"
}
},
"required": [
"owner",
"repo",
"pull_number"
],
"additionalProperties": false
}Examples
[
{
"objective": "Use GitHub get pull request in an agent workflow.",
"args": {
"owner": "<owner>",
"repo": "<repo>",
"pull_number": "<pull_number>"
}
}
]