repo_pull_request_is_merged: WIP - Check if a pull request has been merged
In hrbrmstr/crumpets: Tools to Work with and Manage 'gitea'

WIP - Check if a pull request has been merged

1
2
3

repo_pull_request_is_merged(owner, repo, index,
  api_endpoint = Sys.getenv("GITEA_BASE_URL"),
  gitea_token = Sys.getenv("GITEA_PAT"))

`owner`	owner of the repo
`repo`	name of the repo
`index`	index of the pull request
`api_endpoint`	URL prefix for your gitea server (no trailing '/')
`gitea_token`	NOTE: we use `access_token` in the package

something

NOT IMPLEMENTED YET

hrbrmstr/crumpets documentation built on May 4, 2019, 8:40 a.m.

hrbrmstr/crumpets index

README.md

Note that we can't provide technical support on individual packages. You should contact the package authors for that.

Description