From 2a2b0fadb6b7a91c1021c6e75a604797fdec0a37 Mon Sep 17 00:00:00 2001
From: "James M. Greene" <JamesMGreene@github.com>
Date: Wed, 3 Aug 2022 21:47:18 -0500
Subject: [PATCH] Remove diff of 'pre' since this Action doesn't have that
 directory

---
 .github/workflows/check-dist.yml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.github/workflows/check-dist.yml b/.github/workflows/check-dist.yml
index ecbfc2b..7ed2580 100644
--- a/.github/workflows/check-dist.yml
+++ b/.github/workflows/check-dist.yml
@@ -42,9 +42,3 @@ jobs:
             git diff
             exit 1
           fi
-
-          if [ "$(git diff --ignore-space-at-eol pre/ | wc -l)" -gt "0" ]; then
-            echo "Detected uncommitted changes after build in pre folder. See status below:"
-            git diff
-            exit 1
-          fi