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.sh | |
| 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.sh')
| -rwxr-xr-x | Biz/Ide/hooks/post-rewrite.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Biz/Ide/hooks/post-rewrite.sh b/Biz/Ide/hooks/post-rewrite.sh deleted file mode 100755 index 8b3237a..0000000 --- a/Biz/Ide/hooks/post-rewrite.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -## START BRANCHLESS CONFIG - -git branchless hook post-rewrite "$@" - -## END BRANCHLESS CONFIG |