Gets the pull-request number extracted from the merge message, or null if this is not a pull-request merge.

public int? PullRequestNumber { get; }