devtools (version 1.7.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