chore(github_action): add generate_token to push-to-website (#1198)

last publish release didn't work: https://github.com/open-component-model/ocm/actions/runs/12349057328/job/34459090022
open-component-model · Dec 16, 2024 · 0db6053 · 0db6053
1 parent c7181af
commit 0db6053
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/publish-to-other-than-github.yaml b/.github/workflows/publish-to-other-than-github.yaml
@@ -147,6 +147,12 @@ jobs:
     steps:
     - name: Ensure proper version
       run: echo "RELEASE_VERSION=$(echo ${{ github.event.client_payload.version }})" >> $GITHUB_ENV
+    - name: Generate token
+      id: generate_token
+      uses: tibdex/github-app-token@v2
+      with:
+        app_id: ${{ secrets.OCMBOT_APP_ID }}
+        private_key: ${{ secrets.OCMBOT_PRIV_KEY }}
     - name: Publish Release Event
       uses: peter-evans/repository-dispatch@v3
       with: