From 25ece390e8f42bb3fec543c522f0d6bc8bd8a7d5 Mon Sep 17 00:00:00 2001 From: David Holdeman Date: Tue, 10 Jan 2023 18:08:01 -0600 Subject: [PATCH] make wiki sync happy (#4962) --- .github/workflows/sync-wiki.yaml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/sync-wiki.yaml b/.github/workflows/sync-wiki.yaml index 16e1f9a726..9beed34117 100644 --- a/.github/workflows/sync-wiki.yaml +++ b/.github/workflows/sync-wiki.yaml @@ -35,6 +35,10 @@ jobs: run: | git remote add best-wiki-git https://github.com/rusefi/rusefi.wiki.git git fetch best-wiki-git + if [ $(git diff best-wiki-git/master | wc -l) -eq 0 ]; then + echo "skip=true" >> $GITHUB_ENV + exit 0 + fi git show --name-only best-wiki-git/master git config --local user.email "action@github.com" git config --local user.name "GitHub Action" @@ -51,6 +55,7 @@ jobs: - name: Push changes to rusefi_documentation technical wiki uses: ad-m/github-push-action@master + if: ${{ env.skip != 'true' }} with: repository: rusefi/rusefi_documentation github_token: ${{ secrets.ACCESS_TOKEN }}