 zkldi
|
a8655be8ff
|
chore: delete unused dockerfile
|
2022-12-19 04:33:50 +00:00 |
|
|
zkldi
|
36c27dd79d
|
fix: use rootdir in github-bot
|
2022-12-19 03:59:58 +00:00 |
|
|
zkldi
|
fd10d2654d
|
fix: github prepend their hashes with sha256=
because of course they do
|
2022-12-19 03:33:08 +00:00 |
|
|
zkldi
|
54a0578ebc
|
refactor: remove /dashboard prefix and change /users/ to /u/
This overhaul automatically redirects old routes to new routes
they served no purpose anyway and were link noise.
i don't like them
|
2022-12-19 02:31:35 +00:00 |
|
|
ereti
|
b59b6707c0
|
fix: ci
|
2022-12-14 05:08:01 +00:00 |
|
|
ereti
|
1af9942147
|
feat: the monorepo man
|
2022-12-01 21:10:23 +00:00 |
|
|
zkldi
|
db6a3e1b82
|
fix: remove redundant versions
|
2022-11-26 22:49:28 +00:00 |
|
|
zkldi
|
66e41e9f2a
|
fix(ghbot): general touchups to get it compiling
|
2022-09-28 22:57:11 +01:00 |
|
|
zkldi
|
f8acbe297f
|
feat(ghbot): add logging
|
2022-09-28 22:43:10 +01:00 |
|
|
zkldi
|
ee6d634be1
|
feat(ghbot): validate signatures coming in
|
2022-09-28 22:42:25 +01:00 |
|
|
zkldi
|
fa7f8d5e08
|
feat(ghbot): add deploy and dockerfile
|
2022-09-28 22:33:26 +01:00 |
|
|
zkldi
|
7f8530ac6d
|
feat(ghbot): rename index to main
|
2022-09-28 22:33:02 +01:00 |
|
|
zkldi
|
d7318b4009
|
fix(ghbot): cleanup package.json
|
2022-09-28 22:32:44 +01:00 |
|
|
zkldi
|
964ba91e09
|
feat(github-bot): make a github bot that listens for seeds changes
and posts links to the diff viewer!
|
2022-09-28 22:23:00 +01:00 |
|