test PR for the create_pull → set_pull_state lifecycle, opened via the hosted MCP. carries a real change: a just push recipe so main can't silently diverge from the github mirror again.
Something went wrong. Try again.
MCP server for tangled
Something went wrong. Try again.
add push recipe covering both remotes #31
Merged 
zzstoatzz.io
zzstoatzz.io targeting main from a patch
Merged opened by and assigned to zzstoatzz.io targeting main from a patch
zzstoatzz.io targeting main from a patch Commits 0
Could not load commits.