From 75c3c672597f8eda4d1873daf54ee95c5d1a2f7d Mon Sep 17 00:00:00 2001
From: TerrenceMcGuinness-NOAA <terrence.mcguinness@cox.net>
Date: Fri, 1 Nov 2024 21:00:16 +0000
Subject: [PATCH] Update workflow pipeline (#3060)

Change repo_url to repo owner/branch format for actions/checkout@v4
as part of in place pipeline development within.
---
 .github/workflows/pw_aws_ci.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pw_aws_ci.yaml b/.github/workflows/pw_aws_ci.yaml
index ffee433425..c28f9abbf0 100644
--- a/.github/workflows/pw_aws_ci.yaml
+++ b/.github/workflows/pw_aws_ci.yaml
@@ -75,12 +75,12 @@ jobs:
         repo=${{ github.repository }}
         if [ "$pr_number" -eq "0" ]; then
           branch=${{ github.event.inputs.ref }}
-          repo_url="https://github.com/${{ github.repository_owner }}/${{ github.repository }}.git"
+          repo="{{ github.repository_owner }}/${{ github.repository }}"
         else
           branch=$(gh pr view $pr_number --repo $repo --json headRefName --jq '.headRefName')
           repo_owner=$(gh pr view $pr_number --repo $repo --json headRepositoryOwner --jq '.headRepositoryOwner.login')
           repo_name=$(gh pr view $pr_number --repo $repo --json headRepository --jq '.headRepository.name')
-          repo_url="https://github.com/$repo_owner/$repo_name.git"
+          repo="$repo_owner/$repo_name"
         fi
         {
           echo "branch=$branch"