Skip to content

fix(server): pull request watch never wakes the agent about a replaced commit - #180

Merged
yordis merged 2 commits into
yordis/feat-watch-instructionsfrom
yordis/fix-watch-wakes-follow-head
Oct 29, 2026
Merged

fix(server): pull request watch never wakes the agent about a replaced commit#180
yordis merged 2 commits into
yordis/feat-watch-instructionsfrom
yordis/fix-watch-wakes-follow-head

fix(server): a push that still conflicts wakes the agent

2ea27de
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Oct 29, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO