Greetings Tools and TPTP PMC-type folks.
TPTP is no longer functioning as a top-level project. The PMC is a PMC of one that is unable to provide any useful guidance to the project.
I have opened a bug [1] to start the process of retiring the TPTP top-level project and moving its assets under Tools.
I believe that this can be done with very little disruption to the development team or community. The short version is that I'd like to roll the existing three subprojects up into a single tools.tptp project. No source repositories or download directories will
have to move. Some minor changes will be required for Bugzilla and IPZilla. Due to the structure of the website--with subprojects nested under the top-level project--little change is required there.
Time-wise, I'd like to get this done in May so that we can start the process of migrating the source repositories to Git.
Thoughts, concerns, problems, +1s?
Thanks,
Wayne
[1]
https://bugs.eclipse.org/bugs/show_bug.cgi?id=377692
--
Wayne Beaton
The Eclipse Foundation
Twitter: @waynebeaton
Explore
Eclipse Projects