2020-07-28 17:07:41 +02:00
|
|
|
#
|
|
|
|
|
# This is a GitHub Action that allows us to auto-update the wiki
|
|
|
|
|
# when a Pull request changes specific files in a folder.
|
|
|
|
|
#
|
|
|
|
|
name: Update Wiki
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
#
|
|
|
|
|
# Only trigger when the push changes any files in the wiki-folder.
|
|
|
|
|
#
|
|
|
|
|
paths:
|
2020-08-01 04:52:07 +02:00
|
|
|
- 'wiki/**'
|
2020-07-28 17:07:41 +02:00
|
|
|
branches:
|
2020-08-01 04:52:07 +02:00
|
|
|
- 'docs/wiki'
|
2020-07-28 17:07:41 +02:00
|
|
|
#
|
|
|
|
|
# Releases cause this action to also fire.
|
|
|
|
|
# Using this prevents this problem.
|
|
|
|
|
#
|
|
|
|
|
tags-ignore:
|
2020-08-01 04:52:07 +02:00
|
|
|
- '**'
|
2020-07-28 17:07:41 +02:00
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
update:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
2020-08-01 04:52:07 +02:00
|
|
|
- name: 'Checkout Code'
|
|
|
|
|
uses: actions/Checkout@v2
|
|
|
|
|
- name: 'Update Wiki'
|
2022-04-28 21:30:52 +02:00
|
|
|
uses: Andrew-Chen-Wang/github-wiki-action@v3
|
2020-08-01 04:52:07 +02:00
|
|
|
env:
|
2021-08-26 22:42:05 +02:00
|
|
|
WIKI_DIR: wiki/
|
|
|
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
2021-10-01 14:17:21 +02:00
|
|
|
GH_MAIL: 'actions@github.com'
|
2021-08-26 22:42:05 +02:00
|
|
|
GH_NAME: 'github-actions[bot]'
|
|
|
|
|
EXCLUDED_FILES: 'README.md'
|
