Skip to content
Snippets Groups Projects
Commit a7b4d2d2 authored by Moul's avatar Moul
Browse files

[ci] #118: Remove GitHub push in favor of GitLab mirroring feature

parent c482b437
No related branches found
No related tags found
No related merge requests found
......@@ -10,25 +10,6 @@ variables:
image: $DOCKER_IMAGE/$PYTHON_VERSION:latest
.push_to_github:
tags:
- github
after_script:
# remove all files in current repo
- rm -rf ./*
- rm -rf .git*
# do a mirror clone in current repo
- git clone --mirror $CI_REPOSITORY_URL .
# do config for github push
- git remote add github $GITHUB_URL_AND_KEY
- git config --global user.email "contact@duniter.org"
- git config --global user.name "Duniter"
# remove refs about merge requests
- bash -c "cat packed-refs | grep -v 'refs/merge-requests' > packed-refs-new; echo 'Removed merge-requests refs.'"
- mv packed-refs-new packed-refs
# github push
- bash -c "git push --force --mirror github 2>&1 | grep -v duniter-gitlab; echo $?"
.code_changes:
only:
changes:
......@@ -105,8 +86,6 @@ tests-3.8:
tags: [poetry-78]
release:
extends:
- .push_to_github
stage: release
when: manual
script:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment