enhance repo parameter to install_github

Fixes #376.