tangled-mcp
MCP server for tangled
Star 8
Fork 0
Watch
Open Merged Closed
New
add push recipe covering both remotes #31
Merged zzstoatzz.io
· · 0 comments
docs: pushing origin does not update the github mirror #30
Merged zzstoatzz.io
· · 0 comments