Expressly set the user agent (as github will 403 otherwise)