If it's no big deal then no worries. I just thought I would look into it in case it would become more difficult to manage later.
> On Nov 11, 2015, at 3:51 PM, Jeremy Hanna <[email protected]> wrote: > > 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
