Loading .gitlab-ci.ymldeleted 100644 → 0 +0 −7 Original line number Diff line number Diff line # Mirroring to github mirror: script: - git config --global push.default simple - git checkout ${CI_COMMIT_REF_NAME} - git push -v https://${GITHUB_USERNAME}:${GITHUB_TOKEN}@github.com/${GITHUB_REPO}.git #- git push -q https://${GITHUB_USERNAME}:${GITHUB_TOKEN}@github.com/${GITHUB_REPO}.git Loading
.gitlab-ci.ymldeleted 100644 → 0 +0 −7 Original line number Diff line number Diff line # Mirroring to github mirror: script: - git config --global push.default simple - git checkout ${CI_COMMIT_REF_NAME} - git push -v https://${GITHUB_USERNAME}:${GITHUB_TOKEN}@github.com/${GITHUB_REPO}.git #- git push -q https://${GITHUB_USERNAME}:${GITHUB_TOKEN}@github.com/${GITHUB_REPO}.git