GitHub user
OfficialLooks up a GitHub user, such as a pull request's author, and what they are to the project's repository: its owner, a collaborator, a contributor or nobody, and their permission. For an If step that decides whose pull requests to review.