fix: set user id for doco pipeline (#1769)

* fix: set user id for doco pipeline Signed-off-by: Chris Butler <[email protected]> * fix: adds --push to mike deploy (#1773) Ensures changes are pushed to the gh-pages branch Signed-off-by: Jennifer Power <[email protected]> --------- Signed-off-by: Chris Butler <[email protected]> Signed-off-by: Jennifer Power <[email protected]> Co-authored-by: Jennifer Power <[email protected]>
oscal-compass · Dec 5, 2024 · 6f51549 · 6f51549
1 parent 9f4919b
commit 6f51549
Showing 1 changed file with 15 additions and 1 deletion.
diff --git a/.github/workflows/docs-update.yml b/.github/workflows/docs-update.yml
@@ -67,10 +67,24 @@ 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: |
-        mike deploy ${{ needs.mike-version.outputs.mver }}
+        mike deploy --push ${{ needs.mike-version.outputs.mver }}
     - name: Ensure latest is latest
       shell: bash
       run: |