Nothing open on GitHub. Fix attempted, not merged.
The short answer
0open issues
0open PRs
3items grouped
- Known?
- Yes. 3 related items grouped here, 1 issue already closed.
- Fix event
- No fix has been merged to main. 2 PRs closed without merging; see the attempts below.
- Tracker
- The maintainers' tracker marks this
unresolved. That is separate from the fix event. - Still open
- Nothing open on GitHub.
Next step: read the attempts below. Your case may extend or revive that work.
Pick up a Lab taskThese issues and pull requests address problems with session title uniqueness and resume lookups being insufficiently scoped, allowing sessions to resolve or conflict across different sources, users, or origins. Multiple fixes target gateway and state layers to constrain these lookups to the appropriate caller context.
Open issues0
Open PRs0
2 PRs closed without merging
From the close comments: duplicate 1 · other 1
Closed issues · 1
- Closed#60020[Bug]: Session title uniqueness is global across sources — invisible TUI sessions block desktop renames
How this cluster was grouped
-
Link evidence (
structural links throughout): every member is connected by structural evidence: shared changed files, or a closing/superseded reference. -
Pairwise link density
0.67: the share of item pairs that carry a link, counting a structural link in full and a relevance-only link at 0.36.1.00means every pair is linked.
Pick up a Lab task
Check whether a fix covers the open issues here, with your own agent. Bring back evidence for maintainers.
Open the LabAt a glance
- Closed issues
- 1
- Attempts
- 2 PRs closed without merging