From 1082be29f2b3fcb8953e5ed7759c6659081f8b90 Mon Sep 17 00:00:00 2001
From: Azza Ahmed <a.e.ahmed@tudelft.nl>
Date: Wed, 7 May 2025 23:08:28 +0200
Subject: [PATCH] push directly to github, instead of mirroring
---
.gitlab-ci.yml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2df7903..99262b7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -59,6 +59,7 @@ mirror_to_github:
- git config --global user.name "GitLab Mirror Bot"
- git config --global user.email "mirror-bot@daic.tudelft.nl"
- git remote add github https://$GITHUB_TOKEN@github.com/daic-tud/docs.git
- - git push github --mirror
+ - git push github main # push default branch only
+ - git push github --tags # push tags too
rules:
- if: $CI_COMMIT_REF_NAME == $CI_DEFAULT_BRANCH
\ No newline at end of file
--
GitLab