Skip to main content
Options for CloudDevin.mergePullRequest.

​
Properties

​
string
Only merge if the PR head is still at this commit SHA.
​
PrMergeMethod
GitHub merge strategy; the repository default applies when omitted.