Merge branch 'sa-CI' into '2023'

enhance CI script

See merge request software-team/easybuild!1897

.gitlab-ci.yml

@@ -122,6 +122,7 @@ sync_repo_on_HPC:
   script:
     - cd /p/fastdata/zam/swmanage/EasyBuild/$TARGET_BRANCH
     - hostname
+    - echo 'Pulling branch '$TARGET_BRANCH
     - git pull https://$GITLAB_USER:$GITLAB_TOKEN@gitlab.jsc.fz-juelich.de/software-team/easybuild.git $TARGET_BRANCH
   rules:
     - if: '$CI_PROJECT_NAMESPACE == "software-team" && $CI_COMMIT_BRANCH == $TARGET_BRANCH'