From 668027bf936ef813e39a2e5a076b2612ebfec7b0 Mon Sep 17 00:00:00 2001
From: infogulch <infogulch@gmail.com>
Date: Thu, 8 Jul 2021 12:33:34 -0500
Subject: [PATCH] Add workflow to trigger index repo

---
 .github/workflows/webhook.yaml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 .github/workflows/webhook.yaml

diff --git a/.github/workflows/webhook.yaml b/.github/workflows/webhook.yaml
new file mode 100644
index 0000000..7102165
--- /dev/null
+++ b/.github/workflows/webhook.yaml
@@ -0,0 +1,12 @@
+name: Push changes to upstream subtree
+on: [push]
+
+jobs:
+  trigger-index-workflow:
+    runs-on: ubuntu-latest
+    steps:
+      - run: |
+        curl -x POST -H "Authorization: token ${GH_WORKFLOW_PAT}" -H "Content-Type: application/json" \
+          https://api.github.com/repos/infogulch/index/dispatches \
+          -d '{"event_type": "notebooks_push"}'
+