github/hubot — pull request #490 by aroben (2013-04-29 15:27:22+00:00)
Title: Add a default User-Agent for HTTP requests

The github.com API now requires this (see http://developer.github.com/v3/#user-agent-required), and it seems like a good thing to do in any case.