| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| This also makes some changes to the build tooling to clean up the environment a bit, and get us closer to 'bild -s'. | |||
| 2021-11-26 | Fix GitHub OAuth args | Ben Sima | |
| This makes it explicit that we are using GitHub vs some other OAuth args. The idea is that we should be making a new type for every service, this allows us to have type safety in the implementation but a common set or pattern of names for the environment variables and record fields. Also using 'notset' instead of 'mempty' is really helpful for debugging when this breaks, as I found out. | |||
| 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 | |
| Don't exit on no-such-variable because we can just silently fail... | |||
| 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 |