Allow personal notification muting during local development - #111

Merged

wesbillman merged 3 commits into

mainfrom

dev-worktree-improvements

Sep 21, 2026

Commits on Sep 21, 2026

Label dev worktrees and pause local notifications by default
morgmart
committed
ce2767a
Isolate worktree fixtures from Git hook environment
morgmart
committed
efb9598
Limit dev notification pause to an explicit local opt-out
Carl
committed
9188d1f