GitHub

Tools: mm_sync_github (issues, both directions), mm_link_github_pr (attach a PR to a spec). Group: imports.

Credentials

The plugin looks for a token in this order:

1. .mm/integrations/github.json
2. the GITHUB_TOKEN environment variable
3. gh auth token — if you’re already signed in with the GitHub CLI, there’s nothing to do

A classic token needs repo scope; a fine-grained one needs read/write on issues and pull requests.

Which repository

Set it with mm_configure_integration. Settings → Plugins → github shows the repository in use but doesn’t pick it.

Typical use

• Pull open GitHub issues into .mm/issues/, or push Monday Morning issues out.
• Link a PR to the spec it implements, so the spec carries its review state.