From d7fe1a9251aed8dae5b43dfeacaa72d420a62a96 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?=
 <theypsilon@gmail.com>
Date: Sat, 31 Dec 2022 01:37:31 +0100
Subject: [PATCH] Making fetch more resilient

---
 .github/push_database.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/push_database.sh b/.github/push_database.sh
index 91a746c56..c90753f42 100755
--- a/.github/push_database.sh
+++ b/.github/push_database.sh
@@ -4,7 +4,7 @@
 set -euo pipefail
 
 echo "Fetch unshallow"
-git fetch --unshallow origin
+git fetch --unshallow origin || true
 
 git stash
 CUR_BRANCH=$(git rev-parse --abbrev-ref HEAD)