Commit 39798c72 authored by Jan Kiene's avatar Jan Kiene
Browse files

fix git pull commands - forgot "origin"

parent a1211a4a
Loading
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -239,7 +239,7 @@ stages:
  - current_commit_sha=$(git rev-parse HEAD)
  ### build merge target binaries
  - git checkout $CI_MERGE_REQUEST_TARGET_BRANCH_NAME
  - git pull $CI_MERGE_REQUEST_TARGET_BRANCH_NAME
  - git pull origin $CI_MERGE_REQUEST_TARGET_BRANCH_NAME
  - *activate-debug-mode-info-if-set
  - make clean
  - make -j
@@ -278,7 +278,7 @@ stages:
  - git fetch
  - git restore . # Just as a precaution
  - git checkout $BASOP_CI_BRANCH_PC_REPO
  - git pull $BASOP_CI_BRANCH_PC_REPO
  - git pull origin $BASOP_CI_BRANCH_PC_REPO
  - cd -
  - cp -r $SCRIPTS_DIR/ci .
  - cp -r $SCRIPTS_DIR/scripts .