arturadib/botio — pull request #12 by mduan (2013-04-26 21:32:42+00:00)
Title: Set user agent header when issuing requests to github

Seems github changed their API so that you have to pass the user agent now. This is the change that had to be made to PDF.js to get botio working again.