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] Fix pr merge group update

Browse Source
This commit is contained in:
Ivan Semenov
2018-10-04 16:00:05 +03:00
parent f3ad27879a
commit 23f2a6b546
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/github/src/org/jetbrains/plugins/github/pullrequest/action/merge/GithubPullRequestMergeActionGroup.kt
+2 -2
View File
@@ -8,7 +8,7 @@ import org.jetbrains.plugins.github.pullrequest.action.GithubPullRequestKeys
class GithubPullRequestMergeActionGroup : DefaultActionGroup(), DumbAware {
override fun update(e: AnActionEvent) {
val permissions = e.getRequiredData(GithubPullRequestKeys.REPO_DETAILS).permissions
e.presentation.isVisible = (permissions.isPush || permissions.isAdmin)
val permissions = e.getData(GithubPullRequestKeys.REPO_DETAILS)?.permissions
e.presentation.isVisible = permissions != null && (permissions.isPush || permissions.isAdmin)
}
}