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

Age	Commit message (Collapse)	Author
2024-05-21	Set pre-push hook to fail if subcommand fails	Ben Sima
	I think gitlint violations were sneaking through without this.
2024-04-11	Don't run the pre-push script when pushing git notes	Ben Sima
	I didn't even realize this would happen, but obviously it would. So my CI system was trying to run tests on all note commits, and throwing weird errors obviously, and probably recursing into an endless void of git pushes.
2024-04-11	Fix syntax error in pre-push hook	Ben Sima
	This was silly, maybe I should add a special case to Lint.hs to check these...
2024-04-10	Push ci notes automatically	Ben Sima
	I always want to push notes on a successful code push, so using the pre-push hook to do so is perfect. This also expands the pre-push hook to handle new/deleted branches, configures notes automatically, and finally checks that commit messages are decent with gitlint, since `git amend` can bypass the git commit-msg hook.
2024-04-03	Enable CI for every commit	Ben Sima
	Uses git test to run CI on every commit before push.
2024-04-03	Update comment to CI script	Ben Sima
	It got out of sync with the code even within commit 7597d51ed4c866f596fb690d4d53d70bc01181b4, I dunno how I let that happen.
2024-04-01	Make bild exception for git hooks	Ben Sima
	Apparently git hooks don't get called if they have a file extention, so these weren't getting called at all since commit 904de577261e7024373e7a42fd763184764238f9. So this renames them back to the extension-less versions, and adds an exception in bild for files in the core.hooksPath directory. Unfortunately this means Lint.hs will silently ignore these files, but I guess that's okay for now.
2023-10-10	Don't swallow namespace-parsing errors	Ben Sima
	Previously, if there was a problem with the inputs and bild failed to determine the namespace, 'fromPath' would return 'Nothing' and then 'catMaybes' would drop the error-causing input altogether. In the one time that I had a bad input, this made debugging incredibly difficult. It's always a bad idea to swallow errors silently, so instead lets just kill the program if we have bad inputs.
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.