github :: GithubAPI :: user_agent
Default is nit_github_api
.
# User agent used for HTTP requests.
#
# Default is `nit_github_api`.
#
# See <https://developer.github.com/v3/#user-agent-required>
var user_agent: String = "nit_github_api" is optional
lib/github/api.nit:68,2--73,54