When a PR has already been integrated and pushed manually, tg's MCP tools need a way to record it as merged without applying its patch again.
Example: https://tangled.org/okami.mom/albedo/pulls/239 was ported onto current main with the original author's credit, then pushed with follow-up fixes and documentation. The final main commit is ec7e1ba6. The PR still needs its manually merged status recorded.
The exposed MCP tools offer merge_pull_request, which merges code into the target branch, and close_pull_request, which records a closure. Neither exposes a status-only manual merge operation. Reapplying the old patch would be wrong after a conflict-resolved port, and closing the PR does not communicate that it was merged.
Please add an MCP action for recording an existing manual merge, with the PR identity and integrated commit, without modifying Git branches or reapplying patches. If the CLI already supports this, expose it through MCP; otherwise add the underlying support too. Return the recorded status and any status-recording errors.