diff --git a/cli/src/main/java/org/openjdk/skara/cli/GitPublish.java b/cli/src/main/java/org/openjdk/skara/cli/GitPublish.java index fa114bca4..425502d6c 100644 --- a/cli/src/main/java/org/openjdk/skara/cli/GitPublish.java +++ b/cli/src/main/java/org/openjdk/skara/cli/GitPublish.java @@ -231,6 +231,9 @@ public static void main(String[] args) throws IOException, InterruptedException } else { err = push(remote, branch, isQuiet); } - System.exit(err); + + if (err != 0) { + System.exit(err); + } } }