is.pull.request.merged: test if pull request has been merged

Description Usage Arguments Value

Description

test if pull request has been merged

Usage

1
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


cscheid/rgithub documentation built on May 14, 2019, 12:07 p.m.