summaryrefslogtreecommitdiff
path: root/Biz/Ide/hooks/pre-push
AgeCommit message (Collapse)Author
2023-08-16Fix variable substitution and indenting in ci scriptBen Sima
2023-08-16Condense note message in pre-push hookBen Sima
2023-08-16Turn pre-push into a record-keeping ciBen Sima
This is necessary because otherwise I have no record of when I had a successful build.
2022-08-08Ensure BIZ_ROOT is set in shell scriptsBen Sima
2022-08-03Fix globbing in pre-push hookBen Sima
2022-03-30Replace ci with the git pre-push hookBen Sima
2022-02-09Move git hooks to own folderBen Sima
Instead of symlinking, just set the local git config.