codex/roborev two speed hook
Closed
SH
3mo ago+201+201+012345678901234567890123456789-5-5-0123456789
Stack created with GitHub Stacks CLI • Give Feedback 💬
Summary by cubic
Runs the RoboRev full PR panel from the agent hook as a separate background task and posts a dedicated PR comment, keeping the quick CI comment fast. Adds gating and per-head dedup so the full panel runs once per PR head.
- New Features
- Starts full-panel review in the background; preserves normal hook output (even if the full review fails).
- Triggers on Stop, post-push, and PR create; runs only for OPEN PRs on the current head using
merge-base(base..head), and only if[review.panels.full]exists in.roborev.toml. - Posts a separate PR comment via
ghwith a "RoboRev Full Panel" header and short head SHA; only posts if the PR is still OPEN and on the same head. - Deduplicates per head SHA via a lock dir; configurable via
ROBOREV_BIN,GH_BIN,GIT_BIN,JQ_BIN,ROBOREV_SERVER_ADDR,ROBOREV_AGENT_FULL_REVIEW_STATE_DIR, with optional sync modeROBOREV_AGENT_HOOK_SYNC=1. Logs to a file when launched in the background.