Repository navigation

Promote develop to main: Record a Per-Fetch Token in hub.owned - #2545

Merged

ptr727 merged 2 commits into

mainfrom

Oct 8, 2026

Merged

Promote develop to main: Record a Per-Fetch Token in hub.owned#2545
ptr727 merged 2 commits into
mainfrom
develop

Commits on Oct 8, 2026
- Record a Per-Fetch Token in hub.owned So a Menu Removes Only the Hub It Fetched (#2542)
  
  ptr727
  and
  claude
  authored
  9d8937b
- Fail a Menu Fetch Whose Old Hub or Marker Cannot Be Changed, and Take Its Token Only Once Written (#2548)
  
  ptr727
  and
  claude
  authored
  80b5f01