thisPR property Null safety

GitHubAPIPR thisPR
final

The PR metadata specifically formatted for using with the GitHub API client

Implementation

final GitHubAPIPR thisPR;