From a7b4d2d22cad46e7c7e7086b600ae9ccc04f077f Mon Sep 17 00:00:00 2001
From: Moul <moul@moul.re>
Date: Sat, 15 Feb 2020 11:04:10 +0100
Subject: [PATCH] [ci] #118: Remove GitHub push in favor of GitLab mirroring
feature
---
.gitlab-ci.yml | 21 ---------------------
1 file changed, 21 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 22eb8b44..fc2e267a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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:
--
GitLab