From dad4576381b00b70c0f24934d0a7194a895cfb7a Mon Sep 17 00:00:00 2001
From: Kirill Likhodedov <Kirill.Likhodedov@jetbrains.com>
Date: Mon, 5 Mar 2018 11:36:06 +0300
Subject: [PATCH] git: don't write obvious "failed with error" when push fails

It is already covered by the "Push Failed" notification title
and the error notification type.
---
 .../git4idea/src/git4idea/push/GitPushResultNotification.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/git4idea/src/git4idea/push/GitPushResultNotification.java b/plugins/git4idea/src/git4idea/push/GitPushResultNotification.java
index c21333fff03b..6c298bf93a85 100644
--- a/plugins/git4idea/src/git4idea/push/GitPushResultNotification.java
+++ b/plugins/git4idea/src/git4idea/push/GitPushResultNotification.java
@@ -175,7 +175,7 @@ class GitPushResultNotification extends Notification {
         description = String.format("push %s to %s was rejected by remote", sourceBranch, targetBranch);
         break;
       case ERROR:
-        description = "failed with error: " + result.getError();
+        description = result.getError();
         break;
       default:
         LOG.error("Unexpected push result: " + result);