From 6d5f575fd0bc6bb9abc953354cc67eac025f0517 Mon Sep 17 00:00:00 2001
From: Silvan Mosberger <silvan.mosberger@tweag.io>
Date: Tue, 16 Jan 2024 21:50:34 +0100
Subject: [PATCH] check-by-name: Remove legacy script

fetch-tool.sh was decommissioned in
https://github.com/NixOS/nixpkgs/pull/281374, see the removed comment
for why it can only be removed now
---
 .../scripts/fetch-tool.sh                     | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100755 pkgs/test/nixpkgs-check-by-name/scripts/fetch-tool.sh

diff --git a/pkgs/test/nixpkgs-check-by-name/scripts/fetch-tool.sh b/pkgs/test/nixpkgs-check-by-name/scripts/fetch-tool.sh
deleted file mode 100755
index 005c580ead06..000000000000
--- a/pkgs/test/nixpkgs-check-by-name/scripts/fetch-tool.sh
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/usr/bin/env bash
-# Legacy script to make CI work for the PR that replaces this
-# Needed due to `.github/workflows/check-by-name.yml` using `pull_request_target`,
-# which uses the workflow from the base branch, which still uses this script.
-# This file can be removed after the PR replacing it is merged.
-
-trace() { echo >&2 "$@"; }
-
-if (( $# < 2 )); then
-    trace "Usage: $0 BASE_BRANCH OUTPUT_PATH"
-    trace "BASE_BRANCH (unused): The base branch to use, e.g. master or release-23.11"
-    trace "OUTPUT_PATH: The output symlink path for the tool"
-    exit 1
-fi
-output=$2
-
-SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
-
-"$SCRIPT_DIR"/fetch-pinned-tool.sh "$output"