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/pre-push')
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