From ba780af2364cc9dd82aa340b35314bf0a0d9474c Mon Sep 17 00:00:00 2001
From: Tobias Bergkvist <tobias@bergkv.ist>
Date: Fri, 3 Jul 2026 17:10:59 +0200
Subject: [PATCH] ci: notify tooling to update context on PR merge

---
 .github/workflows/notify-tooling-docs.yml | 33 +++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 .github/workflows/notify-tooling-docs.yml

diff --git a/.github/workflows/notify-tooling-docs.yml b/.github/workflows/notify-tooling-docs.yml
new file mode 100644
index 0000000..c53cef6
--- /dev/null
+++ b/.github/workflows/notify-tooling-docs.yml
@@ -0,0 +1,33 @@
+name: Notify tooling to refresh its knowledge base
+
+on:
+  pull_request:
+    types: [closed]
+    branches: [main]
+
+jobs:
+  notify-tooling:
+    if: github.event.pull_request.merged == true
+    runs-on: ubuntu-latest
+    steps:
+      - name: Mint docbot App token (scoped to tooling)
+        id: app-token
+        uses: actions/create-github-app-token@v1
+        with:
+          app-id: ${{ secrets.DOCBOT_APP_ID }}
+          private-key: ${{ secrets.DOCBOT_PRIVATE_KEY }}
+          owner: succinctlabs
+          repositories: tooling
+
+      - name: Dispatch to tooling
+        env:
+          GH_TOKEN: ${{ steps.app-token.outputs.token }}
+          PR_URL: ${{ github.event.pull_request.html_url }}
+          SRC_REPO: ${{ github.event.repository.name }}
+          PR_NUM: ${{ github.event.pull_request.number }}
+        run: |
+          gh api repos/succinctlabs/tooling/dispatches \
+            -f event_type=upstream-pr-merged \
+            -f "client_payload[url]=$PR_URL" \
+            -f "client_payload[repo]=$SRC_REPO" \
+            -F "client_payload[number]=$PR_NUM"