codex/roborev two speed hook

Closed
SH
3mo ago
+201-5

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 gh with 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 mode ROBOREV_AGENT_HOOK_SYNC=1. Logs to a file when launched in the background.