diff --git a/.gitlab-ci b/.gitlab-ci new file mode 100644 index 0000000000000000000000000000000000000000..bddb2a236337f0385a550c0411e6ac647f83296b --- /dev/null +++ b/.gitlab-ci @@ -0,0 +1,28 @@ +image: ubuntu:18.04 + +clone_github: + stage: deploy + before_script: + - apt-get update -y && apt-get install openssh-client -y + - apt install git -y + - eval $(ssh-agent -s) + - echo "$GIT_SSH_PRIVATE_KEY" | openssl base64 -A -d | ssh-add - + - mkdir -p ~/.ssh + - chmod 700 ~/.ssh + - ssh-keyscan $GIT_LAB_HOST >> ~/.ssh/known_hosts + - chmod 644 ~/.ssh/known_hosts + - git config --global user.name "${GIT_USER_NAME}" + - git config --global user.email "${GIT_USER_EMAIL}" + - ssh "git@$GIT_LAB_HOST" + script: + - echo $SOURCE_REPOSITORY + - git config --global http.sslVerify false + - rm -rf plio + - git clone --mirror $SOURCE_REPOSITORY plio + - cd plio + - git remote remove origin + - git remote add origin $DESTINATION_REPOSITORY + - git push -f --prune --all + - git push -f --prune --tags + only: + - branches