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...