Fix user-agent for github