From efa757f5b385ceebf4ac1c798f1a44dd5f1fe2de Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter@eisentraut.org>
Date: Sat, 30 May 2026 16:50:01 +0200
Subject: [PATCH v4.1.pe 1/3] Shell simplification

---
 .github/workflows/postgresql-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/postgresql-ci.yml b/.github/workflows/postgresql-ci.yml
index b56305f9847..85eaa72688c 100644
--- a/.github/workflows/postgresql-ci.yml
+++ b/.github/workflows/postgresql-ci.yml
@@ -119,9 +119,9 @@ jobs:
         shell: bash
         run: |
           set -e
-          all_os="${CI_OS_ONLY_JOBS}"
+          all_os=${CI_OS_ONLY_JOBS}
           if printf '%s\n' "$MSG" | grep -qE '^ci-os-only: '; then
-            sel=$(printf '%s\n' "$MSG" | grep -E '^ci-os-only: ' | head -1 | sed 's/^ci-os-only: //')
+            sel=$(printf '%s\n' "$MSG" | sed -n 's/^ci-os-only: //p' | head -n 1)
             echo "ci-os-only selection: $sel"
           else
             sel="$all_os"
-- 
2.54.0