Skip to content
Snippets Groups Projects

Merge of 0550 to dev

Merged Vincent Texier requested to merge 0550 into dev
Files
2
+ 7
6
@@ -3,7 +3,6 @@ stages:
- test
- build
- release
- github-sync
variables:
PYENV_PYTHON_VERSION: 3.5.5
@@ -12,20 +11,22 @@ image: registry.duniter.org/docker/python3/duniterpy-builder:0.0.4
# SUB-TASKS
.push_to_github:
variables:
GIT_STRATEGY: none
tags:
- github
after_script:
# remove all files in current repo
- rm -rf ./*
- rm -rf .git
- 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"
# 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.'"
# 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 $?"
.pyenv:
Loading