hadley/devtools — pull request #558 by krlmlr (2014-08-21 09:18:35+00:00)
Title: Revert to using GitHub archive URLs instead of GitHub API for install_github

See discussion in #474.