MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[github] Always fetch PR branch

Browse Source
This commit is contained in:
Ivan Semenov
2018-10-02 18:45:40 +03:00
parent 2be320e7c0
commit cd81359518
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/github/src/org/jetbrains/plugins/github/pullrequest/data/GithubPullRequestsDataLoader.kt
+2 -3
View File
@@ -86,9 +86,8 @@ class GithubPullRequestsDataLoader(private val project: Project,
runPartialTask(branchFetchRequest, indicator) {
val details = getOrHandle(detailsRequest)
if (!isCommitFetched(details.head.sha)) {
git.fetch(repository, remote, emptyList(), "refs/pull/${details.number}/head:").throwOnError()
}
git.fetch(repository, remote, emptyList(), "refs/pull/${details.number}/head:").throwOnError()
if (!isCommitFetched(details.base.sha)) throw IllegalStateException("Pull request base is not available after fetch")
if (!isCommitFetched(details.head.sha)) throw IllegalStateException("Pull request head is not available after fetch")
Couple.of(details.base.sha, details.head.sha)
}