feat: comprehensive GitHub webhook improvements and Redis fix#17

Merged

zbigniewsobiecki merged 7 commits intomainfrom

Jan 2, 2026

Commits on Jan 2, 2026

feat: add Redis configuration and startup for agents (#13)

zbigniewsobiecki
and
claude
authored
fix: increase post-job grace period to allow debug agent webhooks

zbigniewsobiecki
and
claude
committed
feat: add support for GitHub PR review submission webhooks

zbigniewsobiecki
and
claude
committed
fix: move cards to IN REVIEW after PR creation from GitHub webhooks

zbigniewsobiecki
and
claude
committed
docs: add GitHub webhook integration documentation

zbigniewsobiecki
and
claude
committed
fix: redis startup fails due to nologin shell (#15)

zbigniewsobiecki
and
claude
authored
Merge branch 'main' into dev - resolve conflicts for Redis fix
zbigniewsobiecki
committed