GHPullRequest pull = repo.createPullRequest("Release $version", "master", "production", body)
while(!pull.getMergeable()) {
println "PR not yet mergeable, retrying..."
sleep 2
}
pull.merge("Merged via Jenkins", pull.getHead().getSha())
The pull.merge(...) seemingly results in a no-op. No error. No merge.
Generally it's not immediately mergeable via pull.getMergeable() and it must pause a moment before that passes. But even accounting for that, I still get nothing.
The
pull.merge(...)seemingly results in a no-op. No error. No merge.Generally it's not immediately mergeable via
pull.getMergeable()and it must pause a moment before that passes. But even accounting for that, I still get nothing.