Merge branch 'sa-jacamar-sync-repo' into '2023'

CI: add automatic repo sync

See merge request software-team/easybuild!1792

.gitlab-ci.yml

-default:
-  tags: [ public-docker ]
-  image: $CI_REGISTRY/easybuild-docker/easybuild-docker/rocky8-eb-test:latest
+stages:
+  - test
+  - deploy
 
 workflow:
   rules:
@@ -14,6 +14,9 @@ workflow:
         TARGET_BRANCH: '2023'
 
 check_style:
+  stage: test
+  tags: [ public-docker ]
+  image: $CI_REGISTRY/easybuild-docker/easybuild-docker/rocky8-eb-test:latest
   script:
     - ml --version && which -a eb && eb --version && eb --show-system-info
     - export SYSTEMNAME="juwelsbooster" # Make this the default for packages like NVHPC
@@ -66,6 +69,9 @@ check_style:
 
 full_check_style:
   when: manual
+  stage: test
+  tags: [ public-docker ]
+  image: $CI_REGISTRY/easybuild-docker/easybuild-docker/rocky8-eb-test:latest
   script:
     - export SYSTEMNAME="juwelsbooster" # Make this the default for packages like NVHPC
     - export EASYBUILD_INCLUDE_EASYBLOCKS="$CI_PROJECT_DIR/Custom_EasyBlocks/*.py,$CI_PROJECT_DIR/Custom_EasyBlocks/generic/*.py"
@@ -104,3 +110,16 @@ full_check_style:
     - fi
     - done
     - if [ -n "$faulty" ]; then echo "Faulty EasyConfigs... $faulty"; exit 1; fi
+
+sync_repo_on_HPC:
+  stage: deploy
+  tags:
+    - jacamar
+    - juwels
+    - shell
+  script:
+    - cd /p/fastdata/zam/swmanage/EasyBuild/2023
+    - hostname
+    - git pull https://project_2497_bot1:$GITLAB_TOKEN@gitlab.jsc.fz-juelich.de/software-team/easybuild.git
+  only:
+    - '2023'