From 7922d74102b828b9f2a754f5599bb3829b21eebc Mon Sep 17 00:00:00 2001 From: Jakub Novak Date: Tue, 15 Oct 2024 07:52:32 -0700 Subject: [PATCH] Remove unused file --- .github/scripts/is_new_api_ref.sh | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100755 .github/scripts/is_new_api_ref.sh diff --git a/.github/scripts/is_new_api_ref.sh b/.github/scripts/is_new_api_ref.sh deleted file mode 100755 index 9e2400285..000000000 --- a/.github/scripts/is_new_api_ref.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/env bash - -set -euo pipefail - -# This script checks for diffs in the packages directory. -# If there are diffs, it means we need to generate a new API references. -if git diff --name-only HEAD^ | grep -q '^packages/'; then - echo "true" -else - echo "false" -fi