These objects are imported from other packages. Follow the links below to see their documentation.

devtools
github_pull