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 /src/ci/scripts/setup-upstream-remote.sh | |
| parent | 1d56b49cac3e502095c933bf8155b0ac90a5f796 (diff) | |
Revert "add new CI step: "setup upstream remote""
This reverts commit 4454fa998c9da1f1eee1602c8e8cd2732505c104. (cherry picked from commit 395fb701e74f58e6c77e2cbdc1967478924e819f)
Diffstat (limited to 'src/ci/scripts/setup-upstream-remote.sh')
| -rwxr-xr-x | src/ci/scripts/setup-upstream-remote.sh | 24 |
1 files changed, 0 insertions, 24 deletions
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 |
