a sample workflow for notifying on merged PRs of interest

sample-workflow.yml

---
name: Notify on docs of interest
on:
  pull_request_target:
    branches: [devel]
    types: [closed]
    paths:
      - path1
      - docs/**/some*pattern.rst

jobs:
  notify:
    name: Notify persons of interest
    if: github.event.pull_request_target.merged
    runs-on: ubuntu-latest
    permissions:
      issues: write
    steps:
      - name: Notify
        uses: mshick/add-pr-comment@v1
        with:
          message: |
            @githubuser doc stuff here!
          repo-token: ${{ secrets.GITHUB_TOKEN }}
          repo-token-user-login: 'github-actions[bot]' # The user.login for temporary GitHub tokens
          allow-repeats: false # This is the default