mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[github] Fix PR merge
Bad API model parameter name
This commit is contained in:
+2
-2
@@ -7,10 +7,10 @@ import org.jetbrains.plugins.github.api.data.GithubPullRequestMergeMethod;
|
||||
@SuppressWarnings({"FieldCanBeLocal", "UnusedDeclaration"})
|
||||
public class GithubPullRequestMergeRebaseRequest {
|
||||
@NotNull private final String sha;
|
||||
@NotNull private final GithubPullRequestMergeMethod method;
|
||||
@NotNull private final GithubPullRequestMergeMethod mergeMethod;
|
||||
|
||||
public GithubPullRequestMergeRebaseRequest(@NotNull String sha) {
|
||||
this.sha = sha;
|
||||
this.method = GithubPullRequestMergeMethod.rebase;
|
||||
this.mergeMethod = GithubPullRequestMergeMethod.rebase;
|
||||
}
|
||||
}
|
||||
|
||||
+4
-4
@@ -9,19 +9,19 @@ public class GithubPullRequestMergeRequest {
|
||||
@NotNull private final String commitTitle;
|
||||
@NotNull private final String commitMessage;
|
||||
@NotNull private final String sha;
|
||||
@NotNull private final GithubPullRequestMergeMethod method;
|
||||
@NotNull private final GithubPullRequestMergeMethod mergeMethod;
|
||||
|
||||
public GithubPullRequestMergeRequest(@NotNull String commitTitle,
|
||||
@NotNull String commitMessage,
|
||||
@NotNull String sha,
|
||||
@NotNull GithubPullRequestMergeMethod method) {
|
||||
if (method != GithubPullRequestMergeMethod.merge && method != GithubPullRequestMergeMethod.squash) {
|
||||
@NotNull GithubPullRequestMergeMethod mergeMethod) {
|
||||
if (mergeMethod != GithubPullRequestMergeMethod.merge && mergeMethod != GithubPullRequestMergeMethod.squash) {
|
||||
throw new IllegalArgumentException("Invalid merge method");
|
||||
}
|
||||
|
||||
this.commitTitle = commitTitle;
|
||||
this.commitMessage = commitMessage;
|
||||
this.sha = sha;
|
||||
this.method = method;
|
||||
this.mergeMethod = mergeMethod;
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user