From 179b1557dcbc7635c3576ad85d03244c727b3d24 Mon Sep 17 00:00:00 2001
From: Jake Coffman <jake@jakecoffman.com>
Date: Mon, 1 May 2023 11:13:32 -0500
Subject: [PATCH] remove unused script (#7205)

---
 script/app-env | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 script/app-env

diff --git a/script/app-env b/script/app-env
deleted file mode 100755
index b014d947e4c..00000000000
--- a/script/app-env
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/bash
-
-if [[ -z "$1" ]]; then
-  echo "Usage: $0 <ecosystem>"
-  exit 1
-fi
-
-set -e
-cd "$(dirname "$0")/.."
-source script/_common
-
-docker_exec "$1" bash