fee14578ab
use plm for migrations ( #6 )
...
use plm for migrations
5 years ago
17e97473f9
use plm for migrations
5 years ago
119b6ad09b
sort pr by id when showing theme (latest first)
5 years ago
780d3cebfc
Don't erase the logs from previous commands
5 years ago
fc4efe3a88
tty to have color in logs
5 years ago
0e571ef8dc
ROCKET_ENV=dev
5 years ago
46244143d2
Another approach for logging
5 years ago
391506fe9b
docker stop instead of docker rm (it stops the container automatically)
5 years ago
f79bca9b0b
add log viewer
5 years ago
a57751672a
generate config before first iteration
5 years ago
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 years ago
3ece41305d
Uploaded archive won't be double-compressed
5 years ago
3ed13138dc
Kill old containers ( fix #1 )
...
Fix Caddyfile generation
Fix security issue with weird file names
5 years ago
3a072befae
First version
5 years ago
Baptiste Gelez
Trinity Pointard
fdb-hiroshima