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