Github requires us to pass in the user agent for api requests

Fixing the merge script