Added User-Agent for Github Commit fetcher (api changed).