| Modifier and Type | Method and Description |
|---|---|
GitHubUser |
GitHubPullRequest.getMergedBy()
Tells which user merged the pull request (if it was).
|
| Modifier and Type | Method and Description |
|---|---|
List<GitHubUser> |
Collaborators.getCollaborators() |
| Modifier and Type | Method and Description |
|---|---|
void |
GitHubPullRequest.setMergedBy(GitHubUser user) |
GitHubPullRequest |
GitHubPullRequest.withMergedBy(GitHubUser user) |
| Modifier and Type | Method and Description |
|---|---|
void |
Collaborators.setCollaborators(List<GitHubUser> collaborators) |
Copyright © 2012–2018 Red Hat, Inc.. All rights reserved.