github_commits.c: GitHub API v3 requires a User-Agent header
Merge branch '2.5'