It finally worked! I'll add `git -fxd` in our Docker build script. EDIT: Dah, no, I won't do that. I tend to run `docker/build.sh -t -i` before I commit my changes (including new files and directories). Thus, this cleanup should be something we should just keep in mind; I don't think we'll need it too often.
[ Full content available at: https://github.com/apache/tinkerpop/pull/1026 ] This message was relayed via gitbox.apache.org for [email protected]
