| Modifier and Type | Method and Description |
|---|---|
GitHubPullRequestHead |
GitHubPullRequest.getHead()
Get pull request head.
|
GitHubPullRequestHead |
GitHubPullRequestHead.withLabel(String label) |
GitHubPullRequestHead |
GitHubPullRequestHead.withRef(String ref) |
GitHubPullRequestHead |
GitHubPullRequestHead.withSha(String sha) |
| Modifier and Type | Method and Description |
|---|---|
void |
GitHubPullRequest.setHead(GitHubPullRequestHead head) |
GitHubPullRequest |
GitHubPullRequest.withHead(GitHubPullRequestHead head) |
Copyright © 2012–2018 Red Hat, Inc.. All rights reserved.