2023-01-08 14:46:13 +01:00
|
|
|
name: Update documentation
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
paths:
|
|
|
|
|
- docs/**
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
trigger:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
name: Dispatch event to documentation repository
|
2023-04-30 02:53:01 +02:00
|
|
|
if: github.ref == 'refs/heads/main'
|
2023-01-08 14:46:13 +01:00
|
|
|
steps:
|
2024-03-04 15:36:05 +01:00
|
|
|
- uses: peter-evans/repository-dispatch@v3
|
2023-01-08 14:46:13 +01:00
|
|
|
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 }}"}'
|
