Age | Commit message (Expand) | Author |
---|---|---|
2023-07-28 | Fix tags generation in git hook | Ben Sima |
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 |
2022-07-19 | Upgrade nixpkgs, ghc923 | Ben Sima |
2022-03-30 | Replace ci with the git pre-push hook | Ben Sima |
2022-02-09 | Move git hooks to own folder | Ben Sima |