diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000000000000000000000000000000000000..f68a60fcf499158efaa1787d9cbdf2151f38e65e --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,10 @@ +stages: + - mirror + +mirror_main_branch: + stage: mirror + script: + - git remote add main https://$ACCESS_TOKEN@mygit.th-deg.de/roboct/definitions/json_schemas + - git push --force mirror main + only: + - main \ No newline at end of file