Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-06-27 | hero: implement the basics of user logins | Ben Sima | |
There's also a lot of refactoring/renaming in here, so the diff is really messy. The overall problem is that I've only ever added code, I've never gone back and reorganized/rearchitected stuff. So adding even small features is becoming an enormous effort. Anyway, this adds the basics of user auth. Next I need to add the auth checks for every route that needs it, and make sure everything is back to working correctly. | |||
2020-04-04 | Try to get tags working reliably | Ben Sima | |
2020-02-14 | Update .gitignore | David Johnson | |
Ignores *~ and dist directories | |||
2019-11-02 | move default local keep to _keep | Ben Sima | |
2019-10-27 | move everything to namespace directories | Ben Sima | |
2019-05-12 | add duree-pitch.org | Ben Sima | |
2019-03-23 | Ignore tags file | Ben Sima | |
2019-03-02 | Better deploy script | Ben Sima | |
2019-02-23 | Get rid of cabal | Ben Sima | |
Using just nix and ghc, ah it's so nice. | |||
2019-02-04 | Ignore cabal builds | Ben Sima | |
2019-01-28 | Ignore result. | Nick | |
2019-01-21 | Init | Ben Sima | |