You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@tinkerpop.apache.org by spmallette <gi...@git.apache.org> on 2018/06/04 13:31:50 UTC

[GitHub] tinkerpop issue #802: Add docker images for console and server TINKERPOP-189...

Github user spmallette commented on the issue:

    https://github.com/apache/tinkerpop/pull/802
  
    @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! 


---