rusefi
/
custom-board-bundle-sample-fork-of-rusefi
mirror of https://github.com/rusefi/custom-board-bundle-sample-fork-of-rusefi.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

make wiki sync happy (#4962)

This commit is contained in:
David Holdeman 2023-01-10 18:08:01 -06:00 committed by GitHub
parent 5471321363
commit 25ece390e8
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/sync-wiki.yaml vendored
View File

@ -35,6 +35,10 @@ jobs:
run: | run: |
git remote add best-wiki-git https://github.com/rusefi/rusefi.wiki.git git remote add best-wiki-git https://github.com/rusefi/rusefi.wiki.git
git fetch best-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 show --name-only best-wiki-git/master
git config --local user.email "action@github.com" git config --local user.email "action@github.com"
git config --local user.name "GitHub Action" git config --local user.name "GitHub Action"
@ -51,6 +55,7 @@ jobs:
- name: Push changes to rusefi_documentation technical wiki - name: Push changes to rusefi_documentation technical wiki
uses: ad-m/github-push-action@master uses: ad-m/github-push-action@master
if: ${{ env.skip != 'true' }}
with: with:
repository: rusefi/rusefi_documentation repository: rusefi/rusefi_documentation
github_token: ${{ secrets.ACCESS_TOKEN }} github_token: ${{ secrets.ACCESS_TOKEN }}