Skip to content

upstream-sync: merge pi e86823096..4e4949299 - #89

Merged
R-Dson merged 4 commits into
mainfrom
fork/upstream-sync-2026-08
Aug 27, 2026
Merged

R-Dson merged 4 commits into
mainfrom
fork/upstream-sync-2026-08

Conversation

@R-Dson

@R-Dson R-Dson commented Aug 27, 2026

Copy link
Copy Markdown
Owner

Upstream sync: e868230..4e49492 (3 commits), per the ledger's sync procedure.

Incoming: fullscreenCopyOnSelect with Ctrl+X selection copy (earendil-works#7720/earendil-works#8731), ui_prompt_start/ui_prompt_end extension events (earendil-works#5329/earendil-works#8355), and the Google Vertex https-proxy-agent named-export fix (earendil-works#8610/earendil-works#8723). All additive; no telemetry or managed-install subsystem re-additions to re-drop.

One conflict (coding-agent CHANGELOG): resolved by keeping the fork's [Unreleased] entries and adding upstream's three new ones marked inherited; upstream's re-listing of the already-released transcript-notices entry was skipped, and clear_queue/earendil-works#8665 stay as the fork's single inherited entries. Sync-log row added; no root-README porting needed (upstream touched only package READMEs, which merged cleanly).

Verified post-merge: fork surfaces intact (permissions settings incl. the hardened matchers, request-observer, ToolInfo capability + timeoutMs forwarding, all telemetry removals), npm run check clean, full ./test.sh green (2225 passed, 53 key-gated skipped), tree clean after the run.

@R-Dson
R-Dson merged commit 0070b62 into main Aug 27, 2026
1 check passed
@R-Dson
R-Dson deleted the fork/upstream-sync-2026-08 branch August 27, 2026 18:37
R-Dson added a commit that referenced this pull request Aug 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants