| Age | Commit message (Expand) | Author |
|---|
| 2024-12-21 | Rewrite mktags.sh to MakeTags.py | Ben Sima |
| 2024-05-21 | Set pre-push hook to fail if subcommand fails | Ben Sima |
| 2024-04-11 | Don't reload direnv every checkout | Ben Sima |
| 2024-04-11 | Don't run the pre-push script when pushing git notes | Ben Sima |
| 2024-04-11 | Fix syntax error in pre-push hook | Ben Sima |
| 2024-04-10 | Save commit message if gitlint fails | Ben Sima |
| 2024-04-10 | Push ci notes automatically | Ben Sima |
| 2024-04-03 | Enable CI for every commit | Ben Sima |
| 2024-04-03 | Update comment to CI script | Ben Sima |
| 2024-04-01 | Make bild exception for git hooks | Ben Sima |
| 2024-04-01 | Rename .bash files to .sh | Ben Sima |
| 2023-10-27 | CI script improvements | Ben Sima |
| 2023-10-10 | Add git-branchless | Ben Sima |
| 2023-10-10 | Environment fixes on beryllium | Ben Sima |
| 2023-10-10 | Don't swallow namespace-parsing errors | Ben Sima |
| 2023-10-03 | Rename BIZ_ROOT to CODEROOT | Ben Sima |
| 2023-09-19 | Fix checking of grep exitcode | Ben Sima |
| 2023-08-22 | Add a commit-msg hook lint and various other cleanups | Ben Sima |
| 2023-08-21 | Don't run ci on notes refs | Ben Sima |
| 2023-08-21 | Only run pre-push if there hasn't been a successful run | Ben Sima |
| 2023-08-17 | Reload dev environment after git checkout | Ben Sima |
| 2023-08-16 | Fix variable substitution and indenting in ci script | Ben Sima |
| 2023-08-16 | Condense note message in pre-push hook | Ben Sima |
| 2023-08-16 | Turn pre-push into a record-keeping ci | Ben Sima |
| 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 |
