User agent used for HTTP requests.

Default is nit_github_api.

See https://developer.github.com/v3/#user-agent-required

Property definitions

github $ GithubAPI :: user_agent
	# 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