hadley/devtools — pull request #378 by krlmlr (2013-11-18 20:38:20+00:00)
Title: enhance repo parameter to install_github

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