Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tools-pmc] TPTP is no longer functioning as a top level project

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?



Wayne Beaton
The Eclipse Foundation
Twitter: @waynebeaton
Explore Eclipse Projects

Back to the top