From 204ccb2bcab7b6fa8fb4d8a26e65c591ae075343 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 16 Aug 2023 18:29:20 -0400
Subject: Fix variable substitution and indenting in ci script

---
 Biz/Ide/hooks/pre-push | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'Biz/Ide/hooks')

diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push
index 9b94f93..11c6bdc 100755
--- a/Biz/Ide/hooks/pre-push
+++ b/Biz/Ide/hooks/pre-push
@@ -18,10 +18,10 @@
     lint_result="fail"
   fi
 ##
-  read -r -d '' note <<'EOF'
-  Lint-is: $lint_result
-  Lint-by: $user <$mail>
-  Lint-at: $at
+  read -r -d '' note <<EOF
+Lint-is: $lint_result
+Lint-by: $user <$mail>
+Lint-at: $at
 EOF
   git notes --ref=ci append -m "$note"
 ##
@@ -32,10 +32,10 @@ EOF
     test_result="fail"
   fi
 ##
-  read -r -d '' note <<'EOF'
-  Test-is: $test_result
-  Test-by: $user <$mail>
-  Test-at: $at
+  read -r -d '' note <<EOF
+Test-is: $test_result
+Test-by: $user <$mail>
+Test-at: $at
 EOF
   git notes --ref=ci append -m "$note"
 ##
-- 
cgit v1.2.3