is.pull.request.merged {github}

R Documentation

test if pull request has been merged

Description

test if pull request has been merged

Usage

is.pull.request.merged(owner, repo, id, ctx = get.github.context())

Arguments

owner	the repo owner
repo	the repo name
id	the pull request id
ctx	the github context object

Value

TRUE if pull request has been merged

---