CI - Merge hooks

.github/workflows/discord-posts.yml

@@ -20,6 +20,7 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y gh
 
+      # TODO: Perhaps we should merge this into the public-pr-merge.yml workflow, now that that exists.
       - name: Send Discord notification
         env:
           DISCORD_WEBHOOK_URL: ${{ secrets.DISCORD_WEBHOOK_URL }}
@@ -69,3 +70,25 @@ jobs:
           # Use `jq` to construct the json data blob in the format required by the webhook.
           data="$(jq --null-input --arg msg "$message" '.content=$msg')"
           curl -X POST -H 'Content-Type: application/json' -d "$data" "${DISCORD_WEBHOOK_URL}"
+
+  invokePrivate:
+    runs-on: ubuntu-latest
+    if: github.event.pull_request.merged == true &&
+      github.event.pull_request.base.ref == 'master'
+    permissions:
+      contents: read
+    steps:
+      - name: Dispatch private merge workflow
+        uses: actions/github-script@v7
+        with:
+          github-token: ${{ secrets.SPACETIMEDB_PRIVATE_TOKEN }}
+          script: |
+            await github.rest.actions.createWorkflowDispatch({
+              owner: 'clockworklabs',
+              repo: 'SpacetimeDBPrivate',
+              workflow_id: 'public-pr-merge.yml',
+              ref: 'master',
+              inputs: {
+                public_pr_number: String(context.payload.pull_request.number),
+              }
+            });