devtools (version 1.13.3)

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