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.
2022-08-08	Ensure BIZ_ROOT is set in shell scripts	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-02-09	Move git hooks to own folder	Ben Sima
	Instead of symlinking, just set the local git config.