mm_link_github_pr
Link a GitHub pull request to a task in a spec
At a Glance
Section titled “At a Glance”- Category: Plugins
- Source: Plugin: github
- Required parameters: 4
- Total parameters: 4
Parameters
Section titled “Parameters”| Parameter | Type | Required | Description |
|---|---|---|---|
project_path | string | Yes | Absolute path to the project root |
spec_path | string | Yes | |
task_title | string | Yes | Title of the task to link the PR to |
pr_number | number | Yes | GitHub pull request number |
Example
Section titled “Example”{ "tool": "mm_link_github_pr", "arguments": { "project_path": "/Users/you/projects/my-app", "spec_path": "2026-01-15-my-feature", "task_title": "My Example", "pr_number": 1 }}Related Tools
Section titled “Related Tools”mm_get_design_tokens- Retrieve the projectmm_sync_github- Sync issues bidirectionally between GitHub and Monday Morningmm_import_meeting_notes- Import meeting notes from Grain into the project. Supports importing by meeti…mm_save_grain_note- Save a Grain meeting note locally as markdown. Handles deduplication via meet…mm_get_project_meeting_context- Retrieve recent meeting context for a project. Returns summaries, decisions, …