diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2025-01-06 20:13:30 +0100 |
|---|---|---|
| committer | Josh Stone <jistone@redhat.com> | 2025-02-17 09:19:32 -0800 |
| commit | d5a78fbeaede3838588cefbcff83c7a68795a487 (patch) | |
| tree | 12a0657dc4bb9cf280911c1414ba9099050b6e93 | |
| parent | 1d56b49cac3e502095c933bf8155b0ac90a5f796 (diff) | |
| download | rust-d5a78fbeaede3838588cefbcff83c7a68795a487.tar.gz rust-d5a78fbeaede3838588cefbcff83c7a68795a487.zip | |
Revert "add new CI step: "setup upstream remote""
This reverts commit 4454fa998c9da1f1eee1602c8e8cd2732505c104. (cherry picked from commit 395fb701e74f58e6c77e2cbdc1967478924e819f)
| -rw-r--r-- | .github/workflows/ci.yml | 3 | ||||
| -rwxr-xr-x | src/ci/scripts/setup-upstream-remote.sh | 24 | ||||
| -rw-r--r-- | src/ci/shared.sh | 12 |
3 files changed, 0 insertions, 39 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f0e151d2577..5c78ac2816c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -130,9 +130,6 @@ jobs: # which then uses log commands to actually set them. EXTRA_VARIABLES: ${{ toJson(matrix.env) }} - - name: setup upstream remote - run: src/ci/scripts/setup-upstream-remote.sh - - name: ensure the channel matches the target branch run: src/ci/scripts/verify-channel.sh diff --git a/src/ci/scripts/setup-upstream-remote.sh b/src/ci/scripts/setup-upstream-remote.sh deleted file mode 100755 index 52b4c98a890..00000000000 --- a/src/ci/scripts/setup-upstream-remote.sh +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/bash -# In CI environments, bootstrap is forced to use the remote upstream based -# on "git_repository" and "nightly_branch" values from src/stage0 file. -# This script configures the remote as it may not exist by default. - -set -euo pipefail -IFS=$'\n\t' - -ci_dir=$(cd $(dirname $0) && pwd)/.. -source "$ci_dir/shared.sh" - -git_repository=$(parse_stage0_file_by_key "git_repository") -nightly_branch=$(parse_stage0_file_by_key "nightly_branch") - -# Configure "rust-lang/rust" upstream remote only when it's not origin. -if [ -z "$(git config remote.origin.url | grep $git_repository)" ]; then - echo "Configuring https://github.com/$git_repository remote as upstream." - git remote add upstream "https://github.com/$git_repository" - REMOTE_NAME="upstream" -else - REMOTE_NAME="origin" -fi - -git fetch $REMOTE_NAME $nightly_branch 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" -} |
