Is this pull request mergeable?

Property definitions

github $ PullRequest :: mergeable
	# Is this pull request mergeable?
	var mergeable: nullable Bool is writable
lib/github/api.nit:710,2--711,41