twitter/zipkin — pull request #244 by johanoskarsson (2013-05-13 17:19:17+00:00)
Title: Github requires us to pass in the user agent for api requests

Fixing the merge script