diff options
| author | Ben Sima <ben@bsima.me> | 2025-11-09 08:30:35 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-11-09 08:30:35 -0500 |
| commit | 4391cb3211298c562ba361ef0a615c745c81f038 (patch) | |
| tree | 645115d2d33a11f4173ce8514855237eaa2667f7 /.ghci | |
| parent | 5f29e393a6696c6f1e5ef2394bddd58aab7f8eda (diff) | |
Remove duplicate git hooks and document correct location
Cleaned up duplicate hooks in .git/hooks that were running by mistake:
- Removed pre-commit, post-checkout, post-merge, pre-push - These
hooks had incomplete implementations with TODOs - Real hooks are
already in Omni/Ide/hooks/ (version controlled)
Git is configured via 'core.hooksPath = Omni/Ide/hooks' to use the
repository-tracked hooks.
Added README.md in .git/hooks/ to prevent future confusion and remind
developers to edit hooks in Omni/Ide/hooks/ instead.
The task export functionality is already properly implemented in
Omni/Ide/hooks/pre-commit and working correctly.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions