af48332cc1
Add the bad code license
...
this repo is now double licensed : gplv3 + bad code
5年前
fee14578ab
use plm for migrations ( #6 )
...
use plm for migrations
5年前
17e97473f9
use plm for migrations
5年前
046bfa59d8
sort pr by id when showing theme (latest first) ( #4 )
...
sort pr by id when showing theme (latest first)
5年前
119b6ad09b
sort pr by id when showing theme (latest first)
5年前
03f8b00bba
add scroll bar when logs are too wide
5年前
3183263031
Delete 540
5年前
588265636f
better support for space and colored logs
5年前
780d3cebfc
Don't erase the logs from previous commands
5年前
fc4efe3a88
tty to have color in logs
5年前
0e571ef8dc
ROCKET_ENV=dev
5年前
46244143d2
Another approach for logging
5年前
391506fe9b
docker stop instead of docker rm (it stops the container automatically)
5年前
e39d0770d1
Fix list
5年前
428766044d
Merge branch 'logs'
5年前
e6712b81bb
WSS
5年前
b23d9a0f68
Merge pull request #3 from Plume-org/logs
...
add log viewer
5年前
c452b5efff
Improve style
5年前
2eb6c0d9b4
add link to log viewer
5年前
f79bca9b0b
add log viewer
5年前
c8a3b49c82
Improve the style of the PR list (both interface and code)
5年前
c418d54aec
fix bad js
5年前
a57751672a
generate config before first iteration
5年前
9d0e33637f
Merge pull request #2 from Plume-org/front-end
...
improve script and add front end
5年前
b4df5b3ebf
use a non local domain
5年前
03cb1a463b
improve script and add front end
...
delete dockers for old commit same pr before running new one
add a front end heavily copied from Plume to see which pr are running
should in theory fetch pr name from github, but have CORS issues :'(
5年前
3ece41305d
Uploaded archive won't be double-compressed
5年前
3ed13138dc
Kill old containers ( fix #1 )
...
Fix Caddyfile generation
Fix security issue with weird file names
5年前
4d93702127
Add a license (GPL 3.0)
5年前
9517baba24
A bit more complete readme
5年前
3a072befae
First version
5年前
Baptiste Gelez
Trinity Pointard
fdb-hiroshima