Skip to content
Snippets Groups Projects
Commit 1082be29 authored by Azza Ahmed's avatar Azza Ahmed
Browse files

push directly to github, instead of mirroring

parent ea820b65
No related branches found
No related tags found
No related merge requests found
Pipeline #1239874 failed
......@@ -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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment