From a5bd1337bf1a1586e85dce62ead04b29cf728dec Mon Sep 17 00:00:00 2001
From: Tamas Mate <tmater@apache.org>
Date: Wed, 28 Jan 2026 14:48:31 +0100
Subject: [PATCH] MINOR: Fix missing pipe in milestone assignment script

The head -n1 command was not piped to grep output, causing
all matching milestones to be captured instead of just the first one.

Example failure:
  Assigning milestone: 19.0.0
  20.0.0
  '19.0.0
  20.0.0' not found
---
 .github/workflows/dev_pr_milestone.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/dev_pr_milestone.sh b/.github/workflows/dev_pr_milestone.sh
index b6876b4b08..4a77eb1f73 100755
--- a/.github/workflows/dev_pr_milestone.sh
+++ b/.github/workflows/dev_pr_milestone.sh
@@ -37,8 +37,8 @@ main() {
     local -r milestone=$(
       gh api "/repos/${repo}/milestones" |
         jq --raw-output '.[] | .title' |
-        grep -E '^[0-9]+\.[0-9]+\.[0-9]+$'
-      head -n1
+        grep -E '^[0-9]+\.[0-9]+\.[0-9]+$' |
+        head -n1
     )
 
     echo "Assigning milestone: ${milestone}"