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.

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);