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
|