summaryrefslogtreecommitdiff
path: root/Biz/Ide/pre-commit
AgeCommit message (Collapse)Author
2022-02-09Move git hooks to own folderBen Sima
Instead of symlinking, just set the local git config.
2021-12-21Add kelvin versioning to pre-commit hookBen Sima
2021-11-26Update to ghc 8.10.4Ben Sima
This also makes some changes to the build tooling to clean up the environment a bit, and get us closer to 'bild -s'.