2026-10-20 09:20:09

PostgreSQL/build_rdbms_01/install_common.sh

@@ -98,6 +98,20 @@ latest_pgaudit_tag() {
   printf '%s\n' "${tag:-$(latest_tag "$repository")}"
 }
 
+latest_pg_hint_plan_tag() {
+  local repository="$1"
+  local major="$2"
+  local tag
+
+  tag="$(
+    curl -fsSL "https://api.github.com/repos/$repository/tags?per_page=100" |
+      sed -nE 's/^[[:space:]]*"name":[[:space:]]*"([^"]+)".*/\1/p' |
+      grep -E "^REL${major}_" |
+      head -n 1 || true
+  )"
+  printf '%s\n' "${tag:-$(latest_tag "$repository")}"
+}
+
 reset_staging_dir() {
   local staging_dir="$1"
   [[ "$staging_dir" != "/" ]] || die "STAGING_DIR must not be the filesystem root"