travis-ci/travis-core — pull request #184 by rkh (2013-02-01 17:23:40+00:00)
Title: set User-Agent and Origin when doing GH requests

do not yet merge, please