From df4e4d52a6d44ebe28965098f21256210e5473fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?=
 <theypsilon@gmail.com>
Date: Fri, 13 May 2022 00:33:04 +0200
Subject: [PATCH] unshallow origin

---
 .github/update_distribution.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/update_distribution.sh b/.github/update_distribution.sh
index c1487f67f..4c6734158 100755
--- a/.github/update_distribution.sh
+++ b/.github/update_distribution.sh
@@ -7,6 +7,8 @@ update_distribution() {
     local OUTPUT_FOLDER="${1}"
     local PUSH_COMMAND="${2:-}"
 
+    git fetch --unshallow origin
+
     fetch_core_urls
     echo
     echo "CORE_URLs:"