install_github stores effective parameters (as found when parsing repo argument) in DESCRIPTION