| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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. | |||
 |
index : omni.git | |
| not just a monorepo, its an *omnirepo* | ben |
| summaryrefslogtreecommitdiff |