fix branch name

Author: ledelas-klee

.gitlab/ci/fragments/rules.yml

@@ -15,7 +15,7 @@
 
 .syncho-github-ans:
   rules:
-    - if: $CI_COMMIT_BRANCH == "syncho-github-ans"
+    - if: $CI_COMMIT_BRANCH == "synchro-github-ans"
 
 # new tag
 .tags:

.gitlab/ci/jobs/5.1-synchro-github.yml

@@ -12,8 +12,11 @@
     - git config --global user.email "${GITLAB_USER_EMAIL}"
     - git checkout -b temp-branch
     - git rm -r --cached .
+    - git add .gitignore
     - git add *
     - git commit -m "Synchro Klee ANS"
     - git remote add github-ans https://root:$GITHUB_TOKEN@$GITHUB_URL
-    #- git push github-ans temp-branch:main-klee
+    - git pull github-ans main-klee
+    - git push github-ans temp-branch:main-klee
+    - git checkout synchro-github-ans
     - git branch -D temp-branch