Skip to content

Add full agent pin and media management - #808

Merged
selfcontained merged 4 commits into
mainfrom
agt_d16508a9b807/agent-a9b807
Jul 21, 2026
Merged

Add full agent pin and media management#808
selfcontained merged 4 commits into
mainfrom
agt_d16508a9b807/agent-a9b807

Conversation

@selfcontained

Copy link
Copy Markdown
Owner

Summary

  • add listing and deletion tools for agent pins and shared media
  • replace label-based pin deletion with stable ID-based deletion
  • safely migrate and normalize legacy pin JSON, with row-locked pin mutations
  • document the MCP lifecycle changes and add migration regression coverage

Validation

  • pnpm run check
  • pnpm run finalize:web
  • pnpm run test:e2e
  • pnpm run test

@selfcontained
selfcontainedforce-pushed the agt_d16508a9b807/agent-a9b807 branch from cea8cc1 to 00bb948CompareJuly 21, 2026 21:20
@selfcontained
selfcontained merged commit 2f49214 into mainJul 21, 2026
1 check passed
@selfcontained
selfcontained deleted the agt_d16508a9b807/agent-a9b807 branch July 21, 2026 22:29
selfcontained added a commit that referenced this pull request Jul 22, 2026
- Replace the nonexistent per-agent 'media count badge' claim with the
real affordance: the media sidebar button in the terminal top bar and
its unseen-count badge
- Document pin update-in-place and the new dispatch_list_pins /
dispatch_delete_pin removal flow (PR #808)
- Correct unseen media marker wording (highlight + tab count, not a
per-item badge)
- Share file button lives at the top of the Media tab, not the sidebar
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Sign up for freeto 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.

1 participant

@selfcontained