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