user property

GitHubUser user
final

The User who submitted the PR

Implementation

final GitHubUser user;