From e22966957f85ad6075e606ec098491efabc8e5b2 Mon Sep 17 00:00:00 2001 From: Dante Date: Fri, 2 Dec 2022 15:53:11 +0000 Subject: [PATCH] Restore accidentally deleted --- .github/workflows/updater.sh | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.github/workflows/updater.sh b/.github/workflows/updater.sh index ae0064d..1abea36 100755 --- a/.github/workflows/updater.sh +++ b/.github/workflows/updater.sh @@ -36,7 +36,14 @@ echo "REPO=$repo" >> $GITHUB_ENV echo "PROCEED=false" >> $GITHUB_ENV # Proceed only if the retrieved version is greater than the current one - +if ! dpkg --compare-versions "$current_version" "lt" "$version" ; then + echo "::warning ::No new version available" + exit 0 +# Proceed only if a PR for this new version does not already exist +elif git ls-remote -q --exit-code --heads https://github.com/$GITHUB_REPOSITORY.git ci-auto-update-v$version ; then + echo "::warning ::A branch already exists for this update" + exit 0 +fi #================================================= # UPDATE SOURCE FILES