hadley/devtools — pull request #423 by krlmlr (2014-02-10 12:59:09+00:00)
Title: Explicitly specify user agent when querying user name and ref for pull request in install_github

Fixes #405.