| name: Ping other repos |
| # This workflow exists for this use case: When another repo wants to take |
| # some action each time an MDN PR is merged and a change is pushed to the |
| # MDN main branch. For example, other repos that pull in content directly |
| # from MDN as part of their own builds might want to automatically re-run |
| # their repo build scripts each time a change is pushed to MDN upstream. |
| # |
| # https://github.com/mdn/content/blob/main/.github/workflows/ping-other-repos.yml |
| # has the MDN content equivalent of this workflow. |
| |
| on: |
| push: |
| branches: |
| - main |
| |
| permissions: |
| contents: read |
| |
| jobs: |
| ping: |
| runs-on: ubuntu-latest |
| # Don't run in forks, or when Dependabot merges a PR. |
| if: | |
| github.repository == 'mdn/browser-compat-data' && |
| github.triggering_actor != 'dependabot[bot]' |
| steps: |
| - name: Ping w3c/mdn-spec-links |
| # This is one of many possible repos we can ping. When adding other |
| # repos, you can follow this w3c/mdn-spec-links one as an example. |
| uses: peter-evans/repository-dispatch@5fc4efd1a4797ddb68ffd0714a238564e4cc0e6f # v4.0.0 |
| with: |
| token: ${{ secrets.SIDESHOWBARKER }} |
| repository: w3c/mdn-spec-links |
| event-type: ping |
| client-payload: '{"repository": "${{ github.repository }}", "ref": "${{ github.ref }}", "sha": "${{ github.sha }}"}' |