enhance repo parameter to install_github

Fixes #376, applies to branch v1.4-rc.