Repository navigation

Drop notifications to defunct chat - #2880

Merged

natebosch merged 3 commits into

mainfrom

drop-bat-notifications

Oct 16, 2026

Merged

Drop notifications to defunct chat#2880
natebosch merged 3 commits into
mainfrom
drop-bat-notifications

Commits on Oct 15, 2026
- Drop notifications to defunct chat
  natebosch
  committed
  f4138d6
- Appease zizmor
  natebosch
  committed
  814f6d2
- Use default through mono_repo
  natebosch
  committed
  4e77e4e