summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2023-08-16 18:29:20 -0400
committerBen Sima <ben@bsima.me>2023-08-16 18:29:20 -0400
commit204ccb2bcab7b6fa8fb4d8a26e65c591ae075343 (patch)
treed6212c04b29e2e47a8380e93a7dee4d1e3c5611a
parentb86612669bc9c853d945573ded198c86d149ca5b (diff)
Fix variable substitution and indenting in ci script
-rwxr-xr-xBiz/Ide/hooks/pre-push16
1 files changed, 8 insertions, 8 deletions
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"
##