ci: review-gate — exempt bot-authored PRs (e.g. dependabot)

[Just-Insane]

Why

Now that Review bots done is a required check again, it blocks dependabot (and other bot-authored) PRs: Seer and Codex don't review bot-authored PRs, so the gate waits, hits its 10-minute timeout, and fail-closes — permanently blocking routine dependency bumps. Confirmed on #52 (dependabot): 0 Seer check-runs, 0 Codex reviews/reactions.

What

Skip the wait (job passes as a no-op) when the PR author is a Bot, alongside the existing merge_group and draft no-ops:

if: >-
  github.event_name == 'pull_request'
  && github.event.pull_request.draft == false
  && github.event.pull_request.user.type != 'Bot'

Human-authored PRs still gate on Seer + Codex. Bot PRs (dependabot, etc.) pass immediately since the review bots would never signal on them anyway.

Note

The currently-blocked dependabot PRs (#52/#42/#40/#38) will clear once they re-run this check (or on their next push) after this merges — or you can admin-bypass them in the meantime.

actionlint clean.

🤖 Generated with Claude Code

[Copilot]

Pull request overview

Updates the Review bots done GitHub Actions workflow to avoid blocking bot-authored pull requests (e.g. Dependabot) on a check that will never receive Seer/Codex signals for those PRs, while preserving the gating behavior for human-authored PRs.

Changes:

• Extend the “wait for review bots” step condition to skip execution for bot-authored PRs (github.event.pull_request.user.type == 'Bot').
• Keep existing no-op behavior for merge_group and draft PRs, so the required check still passes in those scenarios without waiting.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.