Repository navigation

Task priority, live ownership and digest watchers - #2618

Merged

lilyshen0722 merged 8 commits into

mainfrom

tern/task-443-priority-watchers

Oct 24, 2026

Merged

Task priority, live ownership and digest watchers#2618
lilyshen0722 merged 8 commits into
mainfrom
tern/task-443-priority-watchers

Commits on Oct 24, 2026
- Specify task priority ownership and watcher delivery
  
  lilyshen0722
  and
  tern
  committed
  29b307f
- Add task priority ordering and digest subscriptions
  
  lilyshen0722
  and
  tern
  committed
  73c889c
- Publish task subscription tool and document priority choice
  
  lilyshen0722
  and
  tern
  committed
  05f73f5
- feat(board): show task priority, live ownership and followers
  
  lilyshen0722
  and
  tern
  committed
  ad975b5
- fix(tasks): retain watcher receipts and concurrent board updates
  
  lilyshen0722
  and
  tern
  committed
  16056ab
- chore(mcp): leave version stamping to release
  
  lilyshen0722
  and
  tern
  committed
  4a92f13
- fix(board): retain follow focus and pin lease typography
  
  lilyshen0722
  and
  tern
  committed
  2e0f8d1
- fix(tasks): rotate receipt retries and refresh follower snapshots
  
  lilyshen0722
  and
  tern
  committed
  8cb8102