mister-devel/Distribution_MiSTer
1
0
Fork 0
mirror of https://github.com/MiSTer-devel/Distribution_MiSTer.git synced 2026-05-17 03:03:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Making push script more resilient if there are no zips.

Browse Source
This commit is contained in:
José Manuel Barroso Galindo
2022-12-30 22:36:50 +01:00
committed by GitHub
parent 9b06bf0faf
commit ad35e7ddd6
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/push_database.sh vendored
View File

@@ -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
gh release upload all_releases releases.txt --clobber