From eed1f3eb67ea925a3eef8039bfd44ab425126355 Mon Sep 17 00:00:00 2001 From: cbusillo Date: Mon, 11 May 2026 11:31:14 -0400 Subject: [PATCH] chore: remove old script --- scripts/local/every-code-poller.sh | 5 ----- 1 file changed, 5 deletions(-) delete mode 100755 scripts/local/every-code-poller.sh diff --git a/scripts/local/every-code-poller.sh b/scripts/local/every-code-poller.sh deleted file mode 100755 index 9233ea77053e..000000000000 --- a/scripts/local/every-code-poller.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/usr/bin/env bash -set -euo pipefail - -SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd -P)" -exec "$SCRIPT_DIR/../every-code-poller.sh" "$@"