Fix bug where github API call would fail because no User-Agent was set on the HTTP Request