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

less duplication in successful push notification

Browse Source
This commit is contained in:
peter
2012-02-02 16:11:06 +01:00
parent 0e68af47b7
commit d77e31b0d0
1 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/git4idea/src/git4idea/push/GitPushResult.java
+1 -5
View File
@@ -264,11 +264,7 @@ class GitPushResult {
notificationType = NotificationType.WARNING;
} else {
notificationType = NotificationType.INFORMATION;
if (pushedCommitsNumber == 0) { // happens on new branch creation
title = "Pushed successfully";
} else {
title = "Pushed " + pushedCommitsNumber + " " + StringUtil.pluralize("commit", pushedCommitsNumber);
}
title = "Push successful";
}
String errorReport = reportForGroup(groupedResult.myErrorResults, GroupedResult.Type.ERROR);