🤖 feat: notify workspaces about GitHub pull request reviews - #3851

Open

coadler wants to merge 6 commits into

mainfrom

notifications-r9mc

Commits on Aug 14, 2026

🤖 feat: notify workspaces about new GitHub PR reviews
Mux
committed
2630d44
🤖 fix: harden GitHub review notifications
Mux
committed
0a5af97
🤖 fix: avoid waking stopped review runtimes
Mux
committed
a48c366
🤖 fix: harden GitHub review notification lifecycle
Mux
committed
02472b1
🤖 fix: make review delivery retryable
Mux
committed
b173a64
🤖 fix: guard review stream acknowledgements
Mux
committed
9f4b9bc