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

github sync update

parent 1082be29
No related branches found
No related tags found
No related merge requests found
Pipeline #1239876 passed
Stage: test
Stage: deploy
Show whitespace changes
Inline Side-by-side
Showing
with 3 additions and 2 deletions
.gitlab-ci.yml
+ 3
− 2
View file @ a789101b
...@@ -48,7 +48,7 @@ pages: ...@@ -48,7 +48,7 @@ pages:
# https://blog.ideotec.es/support-compression-gitlab-pages/ # https://blog.ideotec.es/support-compression-gitlab-pages/
# --------------------------------------------------- # ---------------------------------------------------
# Mirror changes to GitHub (only from default branch) # Mirror changes to GitHub
# --------------------------------------------------- # ---------------------------------------------------
mirror_to_github: mirror_to_github:
image: alpine:latest image: alpine:latest
...@@ -59,7 +59,8 @@ mirror_to_github: ...@@ -59,7 +59,8 @@ mirror_to_github:
- git config --global user.name "GitLab Mirror Bot" - git config --global user.name "GitLab Mirror Bot"
- git config --global user.email "mirror-bot@daic.tudelft.nl" - git config --global user.email "mirror-bot@daic.tudelft.nl"
- git remote add github https://$GITHUB_TOKEN@github.com/daic-tud/docs.git - git remote add github https://$GITHUB_TOKEN@github.com/daic-tud/docs.git
- git push github main # push default branch only - git fetch --all # ensure full refs are available
- git push github --all # push all
- git push github --tags # push tags too - git push github --tags # push tags too
rules: rules:
- if: $CI_COMMIT_REF_NAME == $CI_DEFAULT_BRANCH - if: $CI_COMMIT_REF_NAME == $CI_DEFAULT_BRANCH
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment