untrack
Remove a GitHub pull request from your monitored list to stop tracking its progress and updates.
Instructions
Stop tracking a pull request. Removes the PR from your monitored list.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| prUrl | Yes | Full GitHub PR URL to untrack (e.g. https://github.com/owner/repo/pull/123) |
Implementation Reference
- The implementation of the runUntrack command. In v2, it acts as a no-op as tracking is no longer persistent.
export async function runUntrack(options: { prUrl: string }): Promise<UntrackOutput> { validateUrl(options.prUrl); validateGitHubUrl(options.prUrl, PR_URL_PATTERN, 'PR'); return { removed: false, url: options.prUrl, message: 'In v2, PRs are fetched fresh on each daily run — there is no local tracking list to remove from.', }; } - packages/mcp-server/src/tools.ts:144-154 (registration)Registration of the untrack tool in the MCP server.
// 6. untrack — Stop tracking a PR server.registerTool( 'untrack', { description: 'Stop tracking a pull request. Removes the PR from your monitored list.', inputSchema: { prUrl: z.string().describe('Full GitHub PR URL to untrack (e.g. https://github.com/owner/repo/pull/123)'), }, annotations: { readOnlyHint: false, destructiveHint: true }, }, wrapTool(runUntrack),