diff options
Diffstat (limited to 'Biz/Ide')
| -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" ## |