Fix agithub

github needs a user-agent string now, see http://developer.github.com/changes/2013-04-24-user-agent-required/