diff options
| author | KaDiWa <kalle.wachsmuth@gmail.com> | 2023-01-04 18:15:43 +0100 |
|---|---|---|
| committer | KaDiWa <kalle.wachsmuth@gmail.com> | 2023-01-04 18:15:43 +0100 |
| commit | 8f80a23c252d08d83083b79036ee7199d3164eb9 (patch) | |
| tree | 2d2e36c787bb6a4580bb3d9a00c3b52728c5eeb3 /src/etc | |
| parent | df756439df8110e8e5ff490b68d2886c8c6ae221 (diff) | |
adjust comments about pre-push.sh hook
Diffstat (limited to 'src/etc')
| -rwxr-xr-x | src/etc/pre-push.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/etc/pre-push.sh b/src/etc/pre-push.sh index 2a3086338b4..7a846d44ad6 100755 --- a/src/etc/pre-push.sh +++ b/src/etc/pre-push.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash # -# Call `tidy --bless` before git push +# Call `tidy` before git push # Copy this script to .git/hooks to activate, # and remove it from .git/hooks to deactivate. # |