MCP server for tangled

docs: pushing origin does not update the github mirror #30

Merged zzstoatzz.io
targeting main from a patch
Merged opened by and assigned to zzstoatzz.io
targeting main from a patch

this PR was opened entirely via MCP — the patch was gzipped, uploaded as a blob on the author's PDS, and referenced from a sh.tangled.repo.pull record. no write API, no push access.

the change itself: CLAUDE.md claimed git push origin main updates both remotes; only the tangled remote is configured, so the GitHub mirror (which FastMCP Cloud deploys from) silently goes stale.

Commits 0