summaryrefslogtreecommitdiff
path: root/Biz/Ide/hooks/pre-commit
AgeCommit message (Collapse)Author
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
The motivation for this was to prevent `lint` from rebuilding every time I ran it. That was really annoying.
2022-07-19Upgrade nixpkgs, ghc923Ben Sima
I ended up deleting miso, and consequently all files under Hero/ and Miso/, because I couldn't get miso to build with GHC 9.2. Other things: - Niv has been wrapped by Biz/Bild/Deps.hs, so I can extend it to my liking. - Apply-refact is gone because I couldn't get it to build. - Disabled python stuff.
2022-02-09Move git hooks to own folderBen Sima
Instead of symlinking, just set the local git config.