Merge staged GitHub releaseSource:
Merge a pull request staged with
stage_release() and create a new release on GitHub.
merge_release(pkg = ".", filename = "NEWS.md", host = getOption("rdev.host"))
path to package. Currently, only
pkg = "."is supported.
name of file containing release notes, defaults to
GitHub host to target, passed to the
gh::gh(). If unspecified, gh defaults to "https://api.github.com", although gh's default can be customised by setting the GITHUB_API_URL environment variable.
For a hypothetical GitHub Enterprise instance, either "https://github.acme.com/api/v3" or "https://github.acme.com" is acceptable.
Manually verify that all status checks have completed before running, as
doesn't currently validate that status checks are successful.
Determines the staged release title from
Selects the GitHub pull request that matches the staged release title, stops if there is more or less than one matching PR using
Verifies the staged pull request is ready to be merged by checking the locked, draft, mergeable, and rebaseable flags
Merges the pull request into the default branch using "Rebase and merge" using
Updates the default branch with
Create the GitHub release from the newly created tag, with the name
"<version>"and the release notes in the body, using