Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |