github (version 0.9.8)

is.pull.request.merged: 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