aomi
aomi copied to clipboard
Use "docker" deploy provisioner
Right now the docker container is pushed by scripts/container
. We should probably have it as a travis deploy
target to reduce complexity...