From c3ffd139bcca3f04fa2a7f4e0f72efe48a3e1025 Mon Sep 17 00:00:00 2001 From: simono41 Date: Tue, 10 Mar 2020 09:28:27 +0100 Subject: [PATCH] fix --- sgit | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/sgit b/sgit index 2bbf3dc..786a5b8 100755 --- a/sgit +++ b/sgit @@ -35,4 +35,6 @@ if ! GIT_SSH_COMMAND="ssh -oPort=1022" git push "${push}" "${branch}"; then echo "Konnte keine neuen Daten zum Server pushen!!!" fi git status -git pull +if ! GIT_SSH_COMMAND="ssh -oPort=1022" git pull "${push}" "${branch}"; then + echo "Konnte keine neuen Daten vom Server hollen!!!" +fi