Landing scripts: dequeue with the input field GitHub accepts

Merged
AF
10h ago
+18-2

Accepted agent delivery; branch-keyed search descriptor included.

Summary by cubic

Fixes landing script dequeues failing because the GraphQL mutation sent pullRequestId where GitHub expects id, so merge-pr refused PRs it should have pulled from the merge queue.

  • The fake gh test harness now rejects the wrong input field for dequeue and auto-merge disable, matching GitHub's real API behavior.
  • Adds a benchmark slice descriptor covering the dequeue input field.

RetriggerView in GreptileConfidence Score: 5/5

The PR appears safe to merge; no actionable issues were found.

Summary

This PR fixes the dequeue request in both landing scripts.

  • Landing scripts send GitHub’s accepted field when dequeuing a pull request.

No actionable issues were found. Tests were inspected, not run.

Reviews (1) · Last reviewed commit: "landing: describe dequeue-input-field" · Reviewed by Greptile