fix: set user id for doco pipeline

Signed-off-by: Chris Butler <[email protected]>
oscal-compass · Dec 4, 2024 · d55d48f · d55d48f
1 parent 9f4919b
commit d55d48f
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.github/workflows/docs-update.yml b/.github/workflows/docs-update.yml
@@ -67,6 +67,20 @@ jobs:
     - name: Install documenation dependencies
       run: |
         make docs-ubuntu-deps
+    
+    - name: Get GitHub App User ID
+      id: get-user-id
+      run: echo "user-id=$(gh api "/users/${{ env.SLUG }}[bot]" --jq .id)" >> "$GITHUB_OUTPUT"
+      env:
+        GH_TOKEN: ${{ steps.app-token.outputs.token }}
+        SLUG: ${{ steps.app-token.outputs.app-slug }}
+    - name: Configure Git
+      run: |
+        git config --global user.name '${{ env.SLUG }}[bot]'
+        git config --global user.email '${{ env.ID }}+${{ env.SLUG }}[bot]@users.noreply.github.com'
+      env:
+        SLUG: ${{ steps.app-token.outputs.app-slug }}
+        ID: ${{ steps.get-user-id.outputs.user-id }}
     - name: Create release
       shell: bash
       run: |