Community
Participate
Working Groups
Multiple repos for closely related things make it hard to create consistent refactoring and branching. Beside that, it increases the maintenance cost for build setup and upgrades. For that reason I'd like to propose to merge the platform.ui with platform.ui.tools repo to cut down the number of dependent repos developers need to use. One example is the following build [1] that fails because a refactoring done in the platform.ui is not visible to the build of the platform.ui.tools. Any thought or suggestions? [1] https://ci.eclipse.org/platform/job/eclipse.platform.ui.tools-Gerrit/649/console
+1, fully agree.
+1