# Triggered when an event occurs on a pull request.
#
# Triggered when a pull request is assigned, unassigned,
# labeled, unlabeled, opened, closed, reopened, or synchronized.
class PullRequestEvent
super GithubEvent
serialize
# The pull request number.
var number: Int is writable
# The `PullRequest` itself.
var pull: PullRequest is writable
end
lib/github/events.nit:172,1--185,3