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 267d8b79cc28..291f26bdaeb3 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 fd3491ace487..23c5ec559e4e 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"