diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2df79037eb9bbad4b788ef05e6844283623b22f2..99262b7526ba0df6a2e2974b597eb92338799823 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