name: Push changes to upstream subtree
on: [push]

jobs:
  trigger-index-workflow:
    runs-on: ubuntu-latest
    steps:
      - run: |
          curl -X POST -H "Authorization: token ${{ secrets.GH_WORKFLOW_PAT }}" -H "Content-Type: application/json" \
          https://api.github.com/repos/infogulch/index/dispatches \
          -d '{"event_type": "notebooks_push"}'