Bug 569967

Summary:	merge platform.ui with platform.ui.tools repo
Product:	[Eclipse Project] Platform	Reporter:	Christoph Laeubrich <laeubi>
Component:	UI	Assignee:	Platform-UI-Inbox <Platform-UI-Inbox>
Status:	NEW ---	QA Contact:
Severity:	enhancement
Priority:	P3	CC:	Lars.Vogel, loskutov
Version:	4.14
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:

Description Christoph Laeubrich

2020-12-30 11:23:59 EST

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

Comment 1 Andrey Loskutov

2020-12-30 11:43:06 EST

+1, fully agree.

Comment 2 Lars Vogel

2020-12-30 14:26:48 EST

+1