summaryrefslogtreecommitdiff
path: root/Biz/Ide/pre-push
AgeCommit message (Collapse)Author
2022-02-09Move git hooks to own folderBen Sima
Instead of symlinking, just set the local git config.
2021-11-26Fix ci script and pre-pushBen 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'.