Skip to content

fix(core): address @tanzhenxin's PR-1 review notes (post-merge follow-up to #3842) - #3886

Merged
tanzhenxin merged 5 commits into
mainfrom
fix/shell-promote-followup-review-notes
May 7, 2026
Merged

fix(core): address @tanzhenxin's PR-1 review notes (post-merge follow-up to #3842)#3886
tanzhenxin merged 5 commits into
mainfrom
fix/shell-promote-followup-review-notes

chore(core): drop in-source @-mention attribution + dead Proxy.get ha…

5aa63b7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.