I was curious why the Jira project was named TinkerPop3 instead of just
TinkerPop and asked Stephen Mallette about it and it sounded like it was just
something that happened on import. So I just thought I would check to see
whether it could be changed. I created an INFRA ticket to ask and got the
following response on https://issues.apache.org/jira/browse/INFRA-10752 from
Gavin:
I'm guessing the reason is because the supplied JSON export file from
Github (https://github.com/tinkerpop/tinkerpop3) had TINKERPOP3 as the project
name.
We can rename it but would [need] a link to the mailing list discussion
and PMC agreement where the name change was discussed.
Thanks
So I wanted to reach out on this list to find out whether people really care
enough to make the change. We can also ask whether a redirect could be put in
place for incoming links for the project and for specific tickets.
I would just think that if the change is done it would be better to do it
sooner than later. Stephen also mentioned after going to TP4 it could be
changed to just TinkerPop and the TP3 project could be retired.
In any case, just wanted to bring it up. It’s not a huge deal by any means,
but I just thought I would check.
Cheers,
Jeremy
