Skip to content

fix: exempt docs-only PRs from real proof gate#72

Merged
kevinslin merged 1 commit into
mainfrom
codex/docs-only-proof-exemption
May 14, 2026
Merged

fix: exempt docs-only PRs from real proof gate#72
kevinslin merged 1 commit into
mainfrom
codex/docs-only-proof-exemption

Conversation

@kevinslin
Copy link
Copy Markdown
Contributor

Summary

  • Exempt external PRs that only change files under docs/ from the real behavior proof merge gate.
  • Persist hydrated PR file paths in report frontmatter so the deterministic gate can classify docs-only PRs without relying only on model output.
  • Update review prompt/schema guidance and add regression tests for docs-only and mixed docs/source PRs.

Verification

  • pnpm run check
  • git diff --check

Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 17b464a874

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread src/clawsweeper.ts Outdated
@kevinslin kevinslin force-pushed the codex/docs-only-proof-exemption branch from 17b464a to ee3bcd3 Compare May 14, 2026 21:32
@kevinslin kevinslin merged commit 0be635a into main May 14, 2026
7 checks passed
@kevinslin kevinslin deleted the codex/docs-only-proof-exemption branch May 14, 2026 21:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant