From 56ad5f6b6ff796d063b1cd335d892b50b1aabc5e 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:50:50 +0100
Subject: [PATCH] push_database more resilient in case there are no stashed
 changes.

---
 .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 9c690d524..91a746c56 100755
--- a/.github/push_database.sh
+++ b/.github/push_database.sh
@@ -23,7 +23,7 @@ fi
 DB_ZIP_NAME="${DB_JSON_NAME}.zip"
 echo "Creating ${DB_ZIP_NAME} from ${DB_JSON_NAME}."
 
-git stash pop
+git stash pop || true
 zip "${DB_ZIP_NAME}" "${DB_JSON_NAME}"
 git add "${DB_ZIP_NAME}"
 git add README.md