Is this pull request merged?

Property definitions

github $ PullRequest :: merged
	# Is this pull request merged?
	var merged: nullable Bool is writable
lib/github/api.nit:707,2--708,38