GitHub API wants a useragent.