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

Fixes #376.