Back to Registry
git.pr.merged
HARD
Verifies that a GitHub Pull Request was merged to the target branch.
Scorecard
| Determinism | deterministic |
| Evidence Quality | api-state |
| Intended Use | eval-and-train |
| Gating Required | No |
| Permissions | api:github |
Test Fixtures
9 total
| Type | Count |
|---|---|
| Positive | 3 |
| Negative | 3 |
| Adversarial | 3 |
Metadata
| Version | 0.1.0 |
| Domain | git |
| Task Type | pr_verification |
| Contributor | vr.dev |
| Source | arXiv:2310.06770 |
Use in SDK
# CLI
vr verify --verifier git.pr.merged --ground-truth '{"order_id": "ORD-42"}'
# Python
from vrdev import verify
result = verify("git.pr.merged", ground_truth={"order_id": "ORD-42"})
# API
curl -X POST https://api.vr.dev/v1/verify \
-H "X-API-Key: vr_live_..." \
-d '{"verifier": "git.pr.merged", "ground_truth": {"order_id": "ORD-42"}}'