index
:
omni.git
live
usr/ben
not just a monorepo, its an *omnirepo*
ben
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Biz
/
Ide
/
hooks
/
pre-push
Age
Commit message (
Expand
)
Author
3 days
Re-namespace some stuff to Omni
Ben Sima
2024-05-21
Set pre-push hook to fail if subcommand fails
Ben Sima
2024-04-11
Don't run the pre-push script when pushing git notes
Ben Sima
2024-04-11
Fix syntax error in pre-push hook
Ben Sima
2024-04-10
Push ci notes automatically
Ben Sima
2024-04-03
Enable CI for every commit
Ben Sima
2024-04-03
Update comment to CI script
Ben Sima
2024-04-01
Make bild exception for git hooks
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-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
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