Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-08-10 | Fix path to git hook | Ben Sima | |
2022-08-08 | Ensure BIZ_ROOT is set in shell scripts | Ben Sima | |
2022-08-03 | Fix globbing in pre-push hook | Ben Sima | |
2022-08-01 | Lint only changed files | Ben Sima | |
2022-07-26 | Put _/bin on the PATH | Ben Sima | |
The motivation for this was to prevent `lint` from rebuilding every time I ran it. That was really annoying. | |||
2022-07-19 | Upgrade nixpkgs, ghc923 | Ben 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-03-30 | Replace ci with the git pre-push hook | Ben Sima | |
2022-02-09 | Move git hooks to own folder | Ben Sima | |
Instead of symlinking, just set the local git config. |