The PR metadata specifically formatted for using with the GitHub API client
final GitHubAPIPR thisPR;