Add redis_docs_sync workflow (#13426)

This workflow executes on releases. It invokes the `redis_docs_sync` workflow on `redis/docs`.
2024-08-21 09:41:14 +01:00
parent 6ceadfb580
commit 60f22ca830
1 changed files with 24 additions and 0 deletions
@@ -0,0 +1,24 @@
+name: redis_docs_sync
+
+on:
+  release:
+    types: [published]
+
+jobs:
+  redis_docs_sync:
+    if: github.repository == 'redis/redis'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Generate a token
+        id: generate-token
+        uses: actions/create-github-app-token@v1
+        with:
+          app-id: ${{ secrets.DOCS_APP_ID }}
+          private-key: ${{ secrets.DOCS_APP_PRIVATE_KEY }}
+
+      - name: Invoke workflow on redis/docs
+        env:
+          GH_TOKEN: ${{ steps.generate-token.outputs.token }}
+          RELEASE_NAME: ${{ github.event.release.tag_name }}
+        run: |
+          gh workflow run -R redis/docs redis_docs_sync.yaml -f release="${RELEASE_NAME}"