User that merged this pull request (if any).

Property definitions

github $ PullRequest :: merged_by
	# User that merged this pull request (if any).
	var merged_by: nullable User is writable
lib/github/api.nit:718,2--719,41