ci(push): hook in doc flush notification

.github/workflows/push.yml

@@ -66,6 +66,17 @@ jobs:
           go tool cover -func=coverage.out | grep -E '^total:.*100.0%$'
         env:
           XDG_MUSIC_DIR: /tmp
+  notify:
+    needs: [test]
+    if: success() && github.event_name == 'push' && github.ref == 'refs/heads/master'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: peter-evans/repository-dispatch@v2
+        with:
+          token: ${{ secrets.GH_ACTIONS_SPOTITUBE }}
+          repository: streambinder/streambinder
+          event-type: doc-sync
+          client-payload: '{"repo": "${{ github.repository }}", "ref": "${{ github.ref }}", "sha": "${{ github.sha }}"}'
   benchmark:
     runs-on: ubuntu-latest
     needs: [test]