2020-08-21 12:48:44 -07:00
|
|
|
#
|
|
|
|
# ACCESS_TOKEN - Personal Access Token with "public_repo" permission
|
|
|
|
#
|
2020-08-23 19:56:31 -07:00
|
|
|
#
|
|
|
|
# Note: This action will not run on all file changes!
|
|
|
|
# Some file extensions will not trigger an action run,
|
|
|
|
# but they will be synced the next time a file is changed.
|
|
|
|
# .png and .jpg files do not trigger runs.
|
|
|
|
# .md, .txt, and .html files do.
|
|
|
|
# I have not tested any others.
|
|
|
|
# If we could set this up to trigger on a push to rusefi.wiki, that
|
|
|
|
# would be optimal, but unfortunately that does not seem to be possible.
|
|
|
|
#
|
2020-08-21 12:48:44 -07:00
|
|
|
|
2020-08-17 15:13:18 -07:00
|
|
|
name: Sync Wiki
|
|
|
|
|
|
|
|
on: gollum
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
sync:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
steps:
|
|
|
|
- name: Check out docs repo
|
|
|
|
uses: actions/checkout@v2
|
|
|
|
with:
|
|
|
|
fetch-depth: 0
|
|
|
|
repository: rusefi/rusefi_documentation
|
|
|
|
persist-credentials: false
|
|
|
|
|
2020-08-21 12:48:44 -07:00
|
|
|
- name: Merge from rusefi/wiki
|
2020-08-17 15:13:18 -07:00
|
|
|
run: |
|
|
|
|
git remote add best-wiki-git https://github.com/rusefi/rusefi.wiki.git
|
|
|
|
git fetch best-wiki-git
|
2020-08-22 06:52:21 -07:00
|
|
|
git show --name-only best-wiki-git/master
|
2020-08-17 15:13:18 -07:00
|
|
|
git config --local user.email "action@github.com"
|
|
|
|
git config --local user.name "GitHub Action"
|
|
|
|
git merge best-wiki-git/master
|
|
|
|
|
2020-08-21 12:48:44 -07:00
|
|
|
- name: Push changes to rusefi_documentation technical wiki
|
2020-08-17 15:13:18 -07:00
|
|
|
uses: ad-m/github-push-action@master
|
|
|
|
with:
|
|
|
|
repository: rusefi/rusefi_documentation
|
|
|
|
github_token: ${{ secrets.ACCESS_TOKEN }}
|
|
|
|
branch: master
|