tinkerpop-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From spmallette <...@git.apache.org>
Subject [GitHub] tinkerpop issue #802: Add docker images for console and server TINKERPOP-189...
Date Mon, 04 Jun 2018 13:31:50 GMT
Github user spmallette commented on the issue:

    @FlorianHockmann I think you can merge this. I will do the deploy afterwards when I can
tag the rc1 properly. If something goes wrong we can just CTR in some fixes. I'm feeling pretty
confident about how this is going to work now after playing with things locally a bit. I also
just pushed a minor update to make the command more like our others with `-DdockerImages`
rather than explicitly using the `-P` directly which we typically dont' do. Also disabled
the deployment of java artifacts since docker deployments will occur out of band and we won't
want those re-deployed when we go to deploy to docker.
    When I see this merged, I will do the rc1 deployment. This was a nice PR and I think people
will really appreciate this. Thanks! 


View raw message