improve script and add front end

Conversation 0 Commits 2 Files Changed 10

trinity-1686a commented

Owner

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 :'(

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 :'(

trinity-1686a reviewed

Caddyfile.base

trinity-1686a commented

Poster

Owner

oups wrong name, should be pr-list.joinplu.me or something like that (i forgot to set it back after testing)

oups wrong name, should be `pr-list.joinplu.me` or something like that (i forgot to set it back after testing)

The pull request has been merged as 9d0e33637f.

You can also view command line instructions.