From 445c1da3397a791106ad3e572bc6151a18c28a87 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Sat, 4 Dec 2021 16:45:25 +0100 Subject: [PATCH] CI: lint: detect indent errors in json (MR 19) Lines in policies.json start with ". --- .ci/lint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/lint.sh b/.ci/lint.sh index 7c68e6a..7c57f40 100755 --- a/.ci/lint.sh +++ b/.ci/lint.sh @@ -42,7 +42,7 @@ lint_spaces() { lint \ "indent with 4 spaces" \ - -P '^([ ]{1,3}|[ ]{5,7})[a-zA-Z\[\.\/]' + -P '^([ ]{1,3}|[ ]{5,7})[a-zA-Z\[\.\/\"]' lint \ "spaces at the end of lines are not allowed" \