| 1234567891011121314151617181920 |
- name: Update documentation
- on:
- push:
- paths:
- - docs/**
- jobs:
- trigger:
- runs-on: ubuntu-latest
- name: Dispatch event to documentation repository
- if: github.ref == 'refs/heads/main'
- steps:
- - uses: peter-evans/repository-dispatch@v3
- with:
- token: ${{ secrets.DOCUMENTATION_REPO_ACCESS_TOKEN }}
- repository: revanced/revanced-documentation
- event-type: update-documentation
- client-payload: '{"repo": "${{ github.event.repository.name }}", "ref": "${{ github.ref }}"}'
|
