diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 66430fb589c06552eb479c51bb85f2029c287b68..7c6ae806ba42fcaf950c6d3298f0bf6da917d7eb 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,23 +1,23 @@ stages: - deploy -push_to_github: - stage: github-sync - variables: - GIT_STRATEGY: none - tags: - - github - script: - - rm -rf ./* - - rm -rf .git - - git clone --mirror $CI_REPOSITORY_URL . - - git remote add github $GITHUB_URL_AND_KEY - - git config --global user.email "contact@duniter.org" - - git config --global user.name "Duniter" - # Job would fail if we don't remove refs about pull requests - - bash -c "cat packed-refs | grep -v 'refs/pull' > packed-refs-new; echo 'Removed pull refs.'" - - mv packed-refs-new packed-refs - - bash -c "git push --force --mirror github 2>&1 | grep -v duniter-gitlab; echo $?" +#push_to_github: +# stage: github-sync +# variables: +# GIT_STRATEGY: none +# tags: +# - github +# script: +# - rm -rf ./* +# - rm -rf .git +# - git clone --mirror $CI_REPOSITORY_URL . +# - git remote add github $GITHUB_URL_AND_KEY +# - git config --global user.email "contact@duniter.org" +# - git config --global user.name "Duniter" +# # Job would fail if we don't remove refs about pull requests +# - bash -c "cat packed-refs | grep -v 'refs/pull' > packed-refs-new; echo 'Removed pull refs.'" +# - mv packed-refs-new packed-refs +# - bash -c "git push --force --mirror github 2>&1 | grep -v duniter-gitlab; echo $?" publish: stage: deploy