Skip to content

ci: add gh-pr-review merge gate#72

Merged
DankerMu merged 1 commit into
masterfrom
chore/gh-pr-review-gate
Feb 9, 2026
Merged

ci: add gh-pr-review merge gate#72
DankerMu merged 1 commit into
masterfrom
chore/gh-pr-review-gate

Conversation

@DankerMu
Copy link
Copy Markdown
Owner

@DankerMu DankerMu commented Feb 9, 2026

Adds a GitHub Actions gate that maintains a PR status context gh-pr-review based on a PR comment marker.

This allows branch protection to enforce the local review workflow (run $gh-pr-review, then paste its result comment).

Marker format (single line):

No functional code changes.

@DankerMu
Copy link
Copy Markdown
Owner Author

DankerMu commented Feb 9, 2026

Review: gh-pr-review

  • ✅ Scope: adds .github/workflows/gh-pr-review-gate.yml only.
  • ✅ Security: pull_request_target workflow does not checkout or execute PR code; only writes commit status; marker accepted only from maintainers (OWNER|MEMBER|COLLABORATOR).
  • ✅ Merge gate: status flips to success only when marker SHA matches PR head SHA and score/decision pass.

LGTM.

@DankerMu DankerMu merged commit 1b8326f into master Feb 9, 2026
2 checks passed
@DankerMu DankerMu deleted the chore/gh-pr-review-gate branch February 9, 2026 06:12
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