github :: PullRequest :: _merged
# Is this pull request merged? var merged: nullable Bool is writable