Re-add verlte

hazelcast · Oct 16, 2024 · 383272d · 383272d
1 parent ddb5d70
commit 383272d
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/scripts/get-tags-to-push.sh b/.github/scripts/get-tags-to-push.sh
@@ -1,8 +1,5 @@
 #!/usr/bin/env bash
 
-SCRIPT_DIR="$(dirname "$(readlink -f "$0")")"
-. "$SCRIPT_DIR/version.functions.sh"
-
 function find_last_matching_version() {
   FILTER=$1
   git tag | grep -v BETA | grep -v DEVEL | grep '^v' | cut -c2- | grep "^$FILTER" | tail -n 1
@@ -12,6 +9,10 @@ function get_latest_version() {
   find_last_matching_version ""
 }
 
+function verlte() {
+  [ "$1" = "$(echo -e "$1\n$2" | sort -V | head -n1)" ]
+}
+
 function get_version_only_tags_to_push() {
   local VERSION_TO_RELEASE=$1
   local IS_LATEST_LTS=$2