diff --git a/.github/workflows/sync_wiki.yml b/.github/workflows/sync_wiki.yml new file mode 100644 index 000000000..d8f5eb374 --- /dev/null +++ b/.github/workflows/sync_wiki.yml @@ -0,0 +1,31 @@ +name: Synchronize Wiki + +on: + schedule: + # daily, midnight UTC + - cron: "0 0 * * *" + +jobs: + synchronize: + runs-on: ubuntu-latest + permissions: + contents: write + steps: + - uses: actions/checkout@v4 + with: + repository: ${{ github.repository }}.wiki + fetch-depth: 0 + - name: Set git credentials + run: | + git config user.name "github-actions[bot]" + git config user.email "41898282+github-actions[bot]@users.noreply.github.com" + - name: Fetch + run: | + git remote add upstream ${{ github.server_url }}/${{ github.repository_owner }}/heaps-doc + git fetch upstream master + - name: Merge + run: | + git merge upstream/master --no-edit + - name: Push + run: | + git push