hadley/devtools — pull request #474 by krlmlr (2014-05-07 22:42:54+00:00)
Title: use GitHub API to download archive in install_github

Fixes #466.