omni.git - not just a monorepo, its an *omnirepo*

Age	Commit message (Expand)	Author
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