From 8103dba7daf9f70ec13585a8f24e97e0aae87ced Mon Sep 17 00:00:00 2001
From: Ozan Gunalp <ozangunalp@gmail.com>
Date: Tue, 17 Dec 2024 17:35:49 +0100
Subject: [PATCH] Fix push deploy docs push with git user config missing
 (#2862)

---
 .github/workflows/push-deploy-docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/push-deploy-docs.yml b/.github/workflows/push-deploy-docs.yml
index fc4a12a73..8217b2a8e 100644
--- a/.github/workflows/push-deploy-docs.yml
+++ b/.github/workflows/push-deploy-docs.yml
@@ -28,6 +28,7 @@ jobs:
               with:
                   ref: ${{ github.ref }}
                   token: ${{ steps.app-token.outputs.token }}
+                  fetch-depth: 0
 
             - name: Java setup
               uses: actions/setup-java@v4