devtools (version 1.12.0)

github_pull: GitHub references

Description

Use as ref parameter to install_github. Allows installing a specific pull request or the latest release.

Usage

github_pull(pull)
github_release()

Arguments

pull
The pull request to install

See Also

install_github