Github user ashwinisingh01 commented on the issue:
https://github.com/apache/tinkerpop/pull/915
@FlorianHockmann , Not really ,the username is not intentional :) . I think
git picked up that name from some git configuration on the machine. ---
