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

IJI-404 platform changes reverted not to break compatibility

Browse Source 
GitOrigin-RevId: 99f293faf20393854cf986301576417f17fb3b8b
This commit is contained in:
Dmitriy.Panov
2020-09-28 19:52:51 +00:00
committed by intellij-monorepo-bot
parent ec017f0518
commit cdd2042c56
1 changed files with 1 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/git4idea/src/git4idea/push/GitPushSource.java
+1 -8
View File
@@ -4,7 +4,6 @@ package git4idea.push;
import com.intellij.dvcs.DvcsUtil;
import com.intellij.dvcs.push.PushSource;
import git4idea.GitLocalBranch;
import org.jetbrains.annotations.ApiStatus;
import org.jetbrains.annotations.NotNull;
public abstract class GitPushSource implements PushSource {
@@ -47,8 +46,7 @@ public abstract class GitPushSource implements PushSource {
}
}
@ApiStatus.Internal
public static class DetachedHead extends GitPushSource {
static class DetachedHead extends GitPushSource {
@NotNull private final String myRevision;
DetachedHead(@NotNull String revision) {
@@ -66,10 +64,5 @@ public abstract class GitPushSource implements PushSource {
public GitLocalBranch getBranch() {
throw new IllegalStateException("Push is not allowed from detached HEAD");
}
@NotNull
public String getRevision() {
return myRevision;
}
}
}