From 1d7c20c345b0042b8dd2eeda2892c872fc68b3ca Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Thu, 23 Jun 2022 14:00:03 -0700
Subject: [PATCH] Remove duplicated fetch_github_commit_archive in CI scripts.

The code using `fetch_github_commit_archive` was removed in #72937.
---
 src/ci/docker/host-x86_64/dist-various-2/shared.sh | 12 ------------
 src/ci/init_repo.sh                                |  1 -
 2 files changed, 13 deletions(-)

diff --git a/src/ci/docker/host-x86_64/dist-various-2/shared.sh b/src/ci/docker/host-x86_64/dist-various-2/shared.sh
index 267d8b79cc28b..291f26bdaeb37 100644
--- a/src/ci/docker/host-x86_64/dist-various-2/shared.sh
+++ b/src/ci/docker/host-x86_64/dist-various-2/shared.sh
@@ -33,15 +33,3 @@ function retry {
     }
   done
 }
-
-# Copied from ../../init_repo.sh
-function fetch_github_commit_archive {
-    local module=$1
-    local cached="download-${module//\//-}.tar.gz"
-    retry sh -c "rm -f $cached && \
-        curl -f -sSL -o $cached $2"
-    mkdir $module
-    touch "$module/.git"
-    tar -C $module --strip-components=1 -xf $cached
-    rm $cached
-}
diff --git a/src/ci/init_repo.sh b/src/ci/init_repo.sh
index fd3491ace487d..23c5ec559e4ee 100755
--- a/src/ci/init_repo.sh
+++ b/src/ci/init_repo.sh
@@ -21,7 +21,6 @@ if [ "$(releaseChannel)" = "beta" ]; then
   git fetch origin --unshallow beta master
 fi
 
-# Duplicated in docker/dist-various-2/shared.sh
 function fetch_github_commit_archive {
     local module=$1
     local cached="download-${module//\//-}.tar.gz"