From cdd2042c56ffecdd427a0d34b7ea3d93401469d3 Mon Sep 17 00:00:00 2001
From: "Dmitriy.Panov" <Dmitriy.Panov@jetbrains.com>
Date: Mon, 28 Sep 2020 19:25:24 +0300
Subject: [PATCH] IJI-404 platform changes reverted not to break compatibility

GitOrigin-RevId: 99f293faf20393854cf986301576417f17fb3b8b
---
 plugins/git4idea/src/git4idea/push/GitPushSource.java | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/plugins/git4idea/src/git4idea/push/GitPushSource.java b/plugins/git4idea/src/git4idea/push/GitPushSource.java
index 6bb1a6d9be65..b73a07ee5148 100644
--- a/plugins/git4idea/src/git4idea/push/GitPushSource.java
+++ b/plugins/git4idea/src/git4idea/push/GitPushSource.java
@@ -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;
-    }
   }
 }