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

Age	Commit message (Collapse)	Author
2023-08-22	Add a commit-msg hook lint and various other cleanups	Ben Sima
	Turns out that gitlint by default enforces the exact commit-msg format that I like to use. I'm enabling this because even I write poor commit messages sometimes, and looking back on my commits from even a few days ago is sometimes not very helpful. I also made some minor comment and nix changes that I noticed while reviewing my work from the last few days.
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
	This is necessary because otherwise I have no record of when I had a successful build.
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
	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-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.