summaryrefslogtreecommitdiff
path: root/Biz/Ide/hooks/pre-commit
AgeCommit message (Expand)Author
2023-10-03Rename BIZ_ROOT to CODEROOTBen Sima
2022-08-08Ensure BIZ_ROOT is set in shell scriptsBen Sima
2022-08-01Lint only changed filesBen Sima
2022-07-26Put _/bin on the PATHBen Sima
2022-07-19Upgrade nixpkgs, ghc923Ben Sima
2022-02-09Move git hooks to own folderBen Sima