diff options
author | Ben Sima <ben@bsima.me> | 2023-08-16 18:29:20 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2023-08-16 18:29:20 -0400 |
commit | 204ccb2bcab7b6fa8fb4d8a26e65c591ae075343 (patch) | |
tree | d6212c04b29e2e47a8380e93a7dee4d1e3c5611a /Biz | |
parent | b86612669bc9c853d945573ded198c86d149ca5b (diff) |
Fix variable substitution and indenting in ci script
Diffstat (limited to 'Biz')
-rwxr-xr-x | Biz/Ide/hooks/pre-push | 16 |
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" ## |