github_commits.c: GitHub API v3 requires a User-Agent header