Merge PR #13632: [ci] Update pin ci script

Reviewed-by: SkySkimmer

2 files changed, 3 insertions, 5 deletions

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index be819616e2..dd683c96a9 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -8,7 +8,7 @@ declare -a projects # the list of project repos that can be be overlayed
 # checks if the given argument is a known project
 function is_in_projects {
     local rc=1
-    for x in ${!projects[@]}; do
+    for x in ${projects[@]}; do
       if [ "$1" = "$x" ]; then rc=0; fi;
     done
     return rc
diff --git a/dev/tools/pin-ci.sh b/dev/tools/pin-ci.sh
index dbf54d7f0a..676688bedc 100755
--- a/dev/tools/pin-ci.sh
+++ b/dev/tools/pin-ci.sh
@@ -38,9 +38,7 @@ process_development() {
 # Execute the script to set the overlay variables
 . $OVERLAYS
 
-# Find all variables declared in the base overlay of the form *_CI_GITURL
-for REPO_VAR in $(compgen -A variable | grep _CI_GITURL)
+for project in ${projects[@]}
 do
-  DEV=${REPO_VAR%_CI_GITURL}
-  process_development $DEV
+  process_development $project
 done