| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-21 | Add hoog.sh, improve ide scripts | Ben Sima |
| 2021-11-26 | Fix ci script and pre-push | Ben Sima |
| 2021-11-26 | Use nouns in ns script | Ben Sima |
| 2021-11-26 | Small Ide improvements | Ben Sima |
| 2021-11-26 | Update to ghc 8.10.4 | Ben Sima |
| 2021-11-26 | Fix GitHub OAuth args | Ben Sima |
| 2021-11-26 | Add both option | Ben Sima |
| 2021-11-26 | Move commands and add ns function | Ben Sima |
| 2021-11-26 | Fix post-checkout script | Ben Sima |
| 2021-01-22 | Fix bad bash substitution | Ben Sima |
| 2021-01-08 | Simplify post-checkout | Ben Sima |
| 2020-12-28 | ide: incremental tags and git hooks | Ben Sima |
| 2020-12-28 | ide: add ftags script | Ben Sima |
 |
index : omni.git | |
| not just a monorepo, its an *omnirepo* | ben |
| summaryrefslogtreecommitdiff |