From 9a8263dbef092df3dc8544ac9e8b207485818b47 Mon Sep 17 00:00:00 2001
From: Andreas Hubel <andi@saerdnaer.de>
Date: Wed, 14 Apr 2021 21:31:21 +0200
Subject: [PATCH] do not check archived configs

---
 deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy.sh b/deploy.sh
index c7e020d6..f6cf5db4 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -5,7 +5,7 @@ for cmd in find xargs php git; do
 done
 
 
-find . -name "*.php" -print0 | xargs -0 -n1 php -l
+find . -name "*.php" -print0 | grep -v archive | xargs -0 -n1 php -l
 if [ $? -ne 0 ]; then
 	echo "not deploying b0rken code ;)"
 	exit 1