install_github stores effective parameters (as found when parsing repo argument) in DESCRIPTION
Merge branch '388-install-gh-pull' into develop