ci: mark the pre-push hook executable

Browse Source

Git skips a hook without the bit and says nothing about it, so the gate
would have reported success by being absent. The API cannot set the mode:
a file pushed that way arrives as 100644.

Issue: #121
User-Visible: no

...

This commit is contained in:

Sergey Matyunin

2026-08-13 15:11:20 +03:00

parent d38a5be68b

commit 22e98c5555

1 changed files with 0 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

.githooks/pre-push

Regular → Executable