Property definitions

github $ PullRequest :: mergeable_state
	# Mergeable state of this pull request.
	#
	# See <https://developer.github.com/v3/pulls/#list-pull-requests>.
	var mergeable_state: nullable String is writable
lib/github/api.nit:713,2--716,49