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