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

Age	Commit message (Collapse)	Author
2023-10-03	Rename BIZ_ROOT to CODEROOT	Ben Sima
	BIZ_ROOT was too specific. CODEROOT allows for other (non-biz) projects to live in the root of the repo. I didn't want to call it GIT_ROOT because maybe someday I won't want to use git. But I'll never not use code.
2023-09-19	Fix checking of grep exitcode	Ben Sima
	This is one of those things that's hard to get right because it depends on the state of the git repo to exercise all code paths.
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-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
	This is necessary because otherwise I have no record of when I had a successful build.
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-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.