From f939d61787640873803db21063a6e016253e9c21 Mon Sep 17 00:00:00 2001
From: jarugupj <121142710+jarugupj@users.noreply.github.com>
Date: Mon, 8 Jun 2026 20:13:44 +0000
Subject: [PATCH] ci: dispatch skills-updated to hypeship on plugin changes

When a skill or plugin under plugins/** is merged to main, fire a
repository_dispatch at kernel/hypeship so its image-ci re-bakes the
agent image with the new skill content. Without this, skill merges
sit invisible in the agent VM image until someone unrelated next
pushes hypeship.
---
 .github/workflows/notify-hypeship.yml | 33 +++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 .github/workflows/notify-hypeship.yml

diff --git a/.github/workflows/notify-hypeship.yml b/.github/workflows/notify-hypeship.yml
new file mode 100644
index 0000000..34be64e
--- /dev/null
+++ b/.github/workflows/notify-hypeship.yml
@@ -0,0 +1,33 @@
+name: Notify hypeship of skill update
+
+on:
+  push:
+    branches: [main]
+    paths:
+      - 'plugins/**'
+      - '.github/workflows/notify-hypeship.yml'
+  workflow_dispatch:
+
+jobs:
+  dispatch:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Generate hypeship dispatch token
+        id: token
+        uses: actions/create-github-app-token@v1
+        with:
+          app-id: ${{ secrets.HYPESHIP_DISPATCH_APP_ID }}
+          private-key: ${{ secrets.HYPESHIP_DISPATCH_APP_PRIVATE_KEY }}
+          owner: kernel
+          repositories: hypeship
+
+      - name: Dispatch skills-updated to kernel/hypeship
+        env:
+          GH_TOKEN: ${{ steps.token.outputs.token }}
+          SOURCE_REPO: ${{ github.repository }}
+          SOURCE_SHA: ${{ github.sha }}
+        run: |
+          gh api repos/kernel/hypeship/dispatches \
+            -f event_type=skills-updated \
+            -f "client_payload[source_repo]=${SOURCE_REPO}" \
+            -f "client_payload[sha]=${SOURCE_SHA}"