zkldi
|
d0b100e803
|
fix: finally correct
|
2022-12-19 06:33:27 +00:00 |
|
zkldi
|
8230208254
|
fix: aaaa
|
2022-12-19 06:33:27 +00:00 |
|
zkldi
|
1b27d692cd
|
fix: use correct repo
|
2022-12-19 06:33:27 +00:00 |
|
zkldi
|
1874972bff
|
fix: closing paren
|
2022-12-19 06:07:07 +00:00 |
|
zkldi
|
9cf6de71b2
|
chore: remove debug logs
|
2022-12-19 06:04:58 +00:00 |
|
zkldi
|
3df27fadd7
|
fix: weird markdown oddities?
|
2022-12-19 06:04:58 +00:00 |
|
zkldi
|
9e7b89d3af
|
chore: debug logs
|
2022-12-19 06:04:47 +00:00 |
|
zkldi
|
ab3185ff6d
|
fix: i am the scrimble man. here is my scrimble.
|
2022-12-19 06:04:05 +00:00 |
|
zkldi
|
93e2306b05
|
fix: oauth isn't optional. liars.
|
2022-12-19 06:04:05 +00:00 |
|
zkldi
|
99710af67c
|
fix: ugh
|
2022-12-19 06:04:05 +00:00 |
|
zkldi
|
4dc21507a7
|
feat: ugh full github bot rewrite with octokit
|
2022-12-19 05:08:56 +00:00 |
|
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 |
|