From ad35e7ddd69a5cc68d968718c90bba918b3dd2ac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?=
 <theypsilon@gmail.com>
Date: Fri, 30 Dec 2022 22:36:50 +0100
Subject: [PATCH] Making push script more resilient if there are no zips.

---
 .github/push_database.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/push_database.sh b/.github/push_database.sh
index 03618c223..9c690d524 100755
--- a/.github/push_database.sh
+++ b/.github/push_database.sh
@@ -8,7 +8,7 @@ git fetch --unshallow origin
 
 git stash
 CUR_BRANCH=$(git rev-parse --abbrev-ref HEAD)
-ZIPS=$(git ls-files --directory . -o --exclude-standard | grep '.zip$')
+ZIPS=$(git ls-files --directory . -o --exclude-standard | grep '.zip$' || true)
 if [[ "${ZIPS}" != "" ]] ; then
     echo "Adding ZIPs: ${ZIPS}"
     git checkout --orphan zips
@@ -42,4 +42,4 @@ gh release download all_releases --pattern releases.txt || true
 DATE=$(date +"%Y-%m-%d %T")
 echo "$DATE: $(git rev-parse --verify HEAD)" >> releases.txt
 gh release create all_releases || true
-gh release upload all_releases releases.txt --clobber
\ No newline at end of file
+gh release upload all_releases releases.txt --clobber