Merge pull request #86 from ssarmokadam/master

Update sync-docs.yml

Author: SchettlerKoehler

.github/workflows/sync-docs.yml

@@ -19,10 +19,6 @@ jobs:
                 echo "REPO_SOURCE=$(echo '${{ github.repository }}' | awk -F '/' '{print $2}')" >> $GITHUB_ENV
                 echo "REPO_DEST=$(echo '${{ github.repository }}' | awk -F '/' '{print $2}').wiki" >> $GITHUB_ENV
             shell: bash
-          - name: Generate build number
-            uses: einaregilsson/build-number@v3
-            with:
-              token: ${{secrets.github_token}}
           - name: Checkout ${REPO_SOURCE} Repository
             run: git clone https://github.com/${ORG}/${REPO_SOURCE}.git ${REPO_SOURCE}
           - name: Checkout ${REPO_DEST} Repository
@@ -54,7 +50,7 @@ jobs:
                 cd ${REPO_DEST}                
                 git status
                 git add .
-                git commit -m "${REPO_SOURCE} documentation | GitHub Actions build number $BUILD_NUMBER"
+                git commit -m "${REPO_SOURCE} documentation | GitHub Actions $GITHUB_WORKFLOW $GITHUB_RUN_NUMBER"
                 git remote add origin-wiki "https://${BUILD_USER}:${BUILD_USER_PASSWD}@github.com/${ORG}/${REPO_DEST}.git"
                 git push origin-wiki master
           - name: Sync devonfw guide
@@ -69,6 +65,6 @@ jobs:
                 git pull
                 cd ..
                 git add .
-                git commit -m "${REPO_SOURCE} documentation | GitHub Actions build number $BUILD_NUMBER"
+                git commit -m "${REPO_SOURCE} documentation | GitHub Actions $GITHUB_WORKFLOW $GITHUB_RUN_NUMBER"
                 git remote add origin-wiki "https://${BUILD_USER}:${BUILD_USER_PASSWD}@github.com/${ORG}/${REPO_CONSOLIDATE}.git"
                 git push origin-wiki master