Remove alternate git pull script

Former-commit-id: f7e8efe677072185fc2b03360a2a08f0e9de3b6a

.gitlab-ci.yml

@@ -9,34 +9,9 @@ stages:
   # - deploy
   # - post-run
 
-
-# our own git fetch command like https://gitlab.com/gitlab-org/gitlab-runner/blob/master/shells/abstract.go
-# speeds up building because we skip the git clean and dont need any gitlab caches
-variables:
-  GIT_STRATEGY: none
 before_script:
-  - if [ -d .git ]; then
-       echo "is git dir";
-    else
-       git clone $CI_REPOSITORY_URL . ;
-    fi;
-  - rm -f .git/index.lock
-  - rm -f .git/shallow.lock
-  - rm -f .git/HEAD.lock
-  - rm -f .git/hocks/post-checkout
-  - git remote set-url origin $CI_REPOSITORY_URL
-  - git fetch origin --prune +refs/heads/*:refs/remotes/origin/* +refs/tags/*:refs/tags/*
-  - git checkout -f -q $CI_COMMIT_SHA
-  - if [ ! -z "${SOURCE_PROJECT}" -a "${SOURCE_PROJECT}" != " " ]; then
-        echo "THIS SEEMS TO BE A MERGE PIPELINE FROM ${SOURCE_PROJECT}/${SOURCE_BRANCH}";
-        git pull "https://gitlab.com/${SOURCE_PROJECT}/veloren.git" "${SOURCE_BRANCH}";
-    fi;
   - git submodule sync --recursive
   - git submodule update  --remote --recursive
-  - git status
-  - if [ -d target ]; then
-       ls -la target;
-    fi;
 
 clean-code:
   stage: pre-build