From 790a062b2ddb54a0d14e92dc7d579ea1b561bd7f Mon Sep 17 00:00:00 2001
From: Paul Profizi <100710998+PProfizi@users.noreply.github.com>
Date: Tue, 12 Dec 2023 21:10:32 +0100
Subject: [PATCH] Fix server suffix selection (#1325)

---
 .github/workflows/ci.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 710731a441..a6439628b3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -43,11 +43,11 @@ jobs:
     - id: step1
       name: Define server branch suffix to use
       run: |
-        if [[  ${{ github.event_name == 'push' }} ]]; then
+        if ${{ github.event_name == 'push' }}; then
           echo "suffix=" >> "$GITHUB_OUTPUT"
-        elif [[  ${{ github.event_name == 'workflow_dispatch' }} ]]; then
+        elif ${{ github.event_name == 'workflow_dispatch' }}; then
           echo "suffix=${{ github.event.inputs.standalone_branch_suffix }}" >> "$GITHUB_OUTPUT"
-        elif [[  ${{ github.event_name == 'pull_request' }} ]]; then
+        elif ${{ github.event_name == 'pull_request' }}; then
           # If the PR is server-sync then extract suffix from branch name
           sub='maint/update_code_for_'
           if [[ "${{ github.head_ref  }}" == *"$sub"* ]]; then