diff options
| author | Ben Sima <ben@bsima.me> | 2024-04-01 16:35:15 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-04-01 16:35:15 -0400 |
| commit | 99e114f5c598ce6321c81bbe41e212877a3c375c (patch) | |
| tree | 07b2ac7c96c0970291bce7691aa58054bd1f965a /Biz/Ide/hooks/post-rewrite | |
| parent | 4c7327d144a1e1fd2bd2cfa6a9c49b838674bdd8 (diff) | |
Make bild exception for git hooks
Apparently git hooks don't get called if they have a file extention, so these
weren't getting called at all since commit
904de577261e7024373e7a42fd763184764238f9. So this renames them back to the
extension-less versions, and adds an exception in bild for files in the
core.hooksPath directory.
Unfortunately this means Lint.hs will silently ignore these files, but I guess
that's okay for now.
Diffstat (limited to 'Biz/Ide/hooks/post-rewrite')
| -rwxr-xr-x | Biz/Ide/hooks/post-rewrite | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Biz/Ide/hooks/post-rewrite b/Biz/Ide/hooks/post-rewrite new file mode 100755 index 0000000..8b3237a --- /dev/null +++ b/Biz/Ide/hooks/post-rewrite @@ -0,0 +1,6 @@ +#!/bin/sh +## START BRANCHLESS CONFIG + +git branchless hook post-rewrite "$@" + +## END BRANCHLESS CONFIG |