hadley/devtools — pull request #564 by randy3k (2014-08-22 21:07:35+00:00)
Title: fix install_github command

username is missing