Added User-Agent for Github Commit fetcher (api changed).
Merge branch 'release/v23'