From 3a05a8210f6126abe7cc1b378622f5574881a004 Mon Sep 17 00:00:00 2001
From: jurgenhaas <juergen@paragon-es.de>
Date: Wed, 25 Sep 2019 18:02:50 +0200
Subject: [PATCH] Be more explicit with git push arguments
---
start.sh | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/start.sh b/start.sh
index 1f2f5f7..091dd4d 100755
--- a/start.sh
+++ b/start.sh
@@ -71,9 +71,7 @@ function create {
# Push to remote git repository
if [[ -n ${L3D_GIT_REMOTE} ]]; then
git remote add origin "$L3D_GIT_REMOTE"
- git branch --set-upstream-to=origin/master master
- git pull
- git push
+ git push -u origin master
fi
# Cleanup
--
GitLab