Repository navigation
feat(pull-requests): show GitHub merge and branch events - #1069
Open
incognitojam wants to merge 5 commits into
Open
incognitojam wants to merge 5 commits into
incognitojam wants to merge 5 commits into
Conversation
Upstream divergenceBoth sides are compared with upstream at the in-order tip
Upstream files that start to differ (3)
Upstream files whose difference changes (19)
|
Thread transfer impact✅ Thread transfer remains within every enforced ceiling.
Baseline: Scenario and decoded snapshot size10 historical turns, 5 command tools per turn, 878.9 KiB retained MCP result per historical turn, and a 1.05 MiB retained result in the measured turn.
Updated in place by a trusted workflow. PR artifacts are strictly validated and never executed. |
incognitojam
marked this pull request as ready for review
October 25, 2026 21:20
This branch has not been deployed
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.
GitHub’s merge entry was reduced to a generic “Pull request merged” timestamp, and branch deletion and restoration were absent. This adds the actual GitHub events to the web/desktop and mobile timelines, including the actor, merge commit, target branch and time.
The history uses a separate bounded, paginated read. An actual merge event replaces the inferred entry; missing actors and commits remain omitted, and failed or truncated history reads preserve the conversation and show the existing incomplete-activity notice. Older servers and unsupported hosts retain their previous behavior. Copy follows GitHub’s public merge/deletion and restoration entries; restoration omits the branch name because GitHub does not provide its historical value.
Verification:
Separate Electron, iOS and relay/tunnel runs were not performed; verification used web and Android.
Before
After
Written by an agent (Codex, gpt-6.1-sol).