revanced-manager/.github/workflows/update_documentation.yml

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 }}"}'
ci: add workflow to update documentation repository 2023-06-10 23:41:36 +02:00			`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:`
chore: Upgrade dependencies (#1734) 2024-03-05 08:09:02 +01:00			`- uses: peter-evans/repository-dispatch@v3`
ci: add workflow to update documentation repository 2023-06-10 23:41:36 +02: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 }}"}'`