From d5a78fbeaede3838588cefbcff83c7a68795a487 Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Mon, 6 Jan 2025 20:13:30 +0100
Subject: Revert "add new CI step: "setup upstream remote""

This reverts commit 4454fa998c9da1f1eee1602c8e8cd2732505c104.

(cherry picked from commit 395fb701e74f58e6c77e2cbdc1967478924e819f)
---
 src/ci/shared.sh | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'src/ci/shared.sh')

diff --git a/src/ci/shared.sh b/src/ci/shared.sh
index 9fce68947f4..76464add75d 100644
--- a/src/ci/shared.sh
+++ b/src/ci/shared.sh
@@ -137,15 +137,3 @@ function releaseChannel {
         echo $RUST_CI_OVERRIDE_RELEASE_CHANNEL
     fi
 }
-
-# Parse values from src/stage0 file by key
-function parse_stage0_file_by_key {
-    local key="$1"
-    local file="$ci_dir/../stage0"
-    local value=$(awk -F= '{a[$1]=$2} END {print(a["'$key'"])}' $file)
-    if [ -z "$value" ]; then
-        echo "ERROR: Key '$key' not found in '$file'."
-        exit 1
-    fi
-    echo "$value"
-}
-- 
cgit 1.4.1-3-g733a5