From 0b5c9b0538e1bf0a37e37c66fe65513271202fea Mon Sep 17 00:00:00 2001
From: Terry McGuinness <Terry.McGuinness@noaa.gov>
Date: Fri, 1 Nov 2024 15:50:32 -0500
Subject: [PATCH] change repo_url to repo owner/branch format for
 actions/checkout@v4

---
 .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"