 Mark Rousskov
|
56c075d68a
Roll everything into the docker build
|
há 5 anos atrás |
|
Mark Rousskov
|
c68bce1113
Simplify Dockerfile
|
há 5 anos atrás |
|
Mark Rousskov
|
004273153c
Move triagebot over to GitHub actions
|
há 5 anos atrás |
|
Mark Rousskov
|
58a456d23f
Make PORT configurable
|
há 5 anos atrás |
|
Mark Rousskov
|
141aa9a26d
Utilize standard configuration for port mapping
|
há 6 anos atrás |
 Pietro Albini
|
fbd0044bbf
fix bot not exiting on sigint/sigterm
|
há 6 anos atrás |
|
Pietro Albini
|
4ec6c12570
run the bot on port 80 inside the docker container
|
há 6 anos atrás |
|
Pietro Albini
|
eca0e62b66
add support for generating a docker container
|
há 6 anos atrás |
