memory: github-mcp-strips-html-comments#14
Merged
WillTaylor22 merged 1 commit intoMay 26, 2026
Merged
Conversation
Captures the learning from PR #12 review-feedback round 2 that GitHub MCP's update_pull_request strips HTML comments from PR bodies, making the pr-session-id-marker convention unenforceable by the agent. Cross-refs ENG-25 for the systemic fix.
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
Owner
Author
|
AGENT_REVIEW: APPROVED — Well-formed memory entry that captures a real, reproducible MCP bug; the PR itself is the test artefact and the missing session-id marker is the expected experimental result, not a compliance failure. What I checked:
On the
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
One-line memory entry from PR #12 review-feedback round 2.
Captures the durable learning that the GitHub MCP
update_pull_requesttool silently strips HTML comment lines from the PRbodyfield — even from inside markdown code spans. This is what blocked PR #12 from satisfying thepr-session-id-markerconvention: the marker line gets persisted everywhere except where the webhook reads it.Cross-refs ENG-25 (https://linear.app/personal12o38452384576928345/issue/ENG-25/credentials-needed-github-mcp-update-pull-request-strips-html-comments) for the proposed systemic fixes.
Side-experiment result: opening this PR via
create_pull_requestwas also intended as the test for whether the create path shares the same filter as the update path. It does. This PR's initial body — and notice the corruption visible in the GitHub-rendered view — confirms MCP strips HTML comment tokens out of bothcreate_pull_requestandupdate_pull_requestbodies, before markdown parsing (so even code-span escapes like the one I tried in the first version of this body get eaten, leaving stray empty backticks). The original create call also dropped the trailing marker line that should have followed this paragraph.That kills option (2) in ENG-25's "investigation worth doing" footnote (set marker on create), so the systemic fix is one of:
GITHUB_TOKENso agents can PATCH api.github.com directly.This PR itself does NOT carry the convention marker — by definition can't, and that's the whole point of the entry.