Move org.eclipse.help feature into eclipse-platform git repository

[HannesWell]

Suggestion

During the release preparation the feature org.eclipse.help always requires a version increment that currently has to be applied manually, see:

• Version bump(s) for 4.39 stream #3525

... because we don't want to check version increments of the entire this repository all the time.

At the same time it contains only Plug-ins from Equinox and the eclipse-platform git repository:

eclipse.platform.releng.aggregator/eclipse.platform.releng/features/org.eclipse.help-feature/feature.xml

Lines 24 to 62 in 792093a

	<plugin
	id="org.eclipse.equinox.http.jetty"
	version="0.0.0"/>
	<plugin
	id="org.eclipse.equinox.http.registry"
	version="0.0.0"/>
	<plugin
	id="org.eclipse.equinox.http.servlet"
	version="0.0.0"/>
	<plugin
	id="org.eclipse.equinox.jsp.jasper"
	version="0.0.0"/>
	<plugin
	id="org.eclipse.equinox.jsp.jasper.registry"
	version="0.0.0"/>
	<plugin
	id="org.eclipse.help.base"
	version="0.0.0"/>
	<plugin
	id="org.eclipse.help.ui"
	version="0.0.0"/>
	<plugin
	id="org.eclipse.help.webapp"
	version="0.0.0"/>
	<plugin
	id="org.eclipse.core.net"
	version="0.0.0"/>
	<plugin
	id="org.eclipse.equinox.security"
	version="0.0.0"/>

Therefore I propose to move it 'down' to the eclipse-platform git repository so that the version increment workflow in that repository can handle it.
Due to the described content, I think this would be generally the more suitable location anyways.

Any objections or remarks?

I can offer to conduct that move, but wonder if I should preserve the history (e.g. by branch-filtering) or if it would be fine to just remove it here and add it back in the target repo (with an exact link to the source)?

Community

• I understand suggesting an enhancement doesn't mandate anyone to implement it. Other contributors may consider this suggestion, or not, at their own convenience. The most efficient way to get it fixed is that I implement it myself and contribute it back as a good quality patch to the project.

[merks]

This sounds like a good idea. I really think there is no interesting history to preserve here. Do what is the least amount of work.

[laeubi]

Yep platform repo seem suitable and I also think there is no history we should be care about (its mostly version bumps anyways)....So whatever we can push aside is actually good.

[HannesWell]

Sounds good.

The PRs to remove the feature from this repository is

• Move org.eclipse.help feature to eclipse.platform git repository #3529

the addition to eclipse.platform is

• Move org.eclipse.help feature to eclipse.platform git repository eclipse.platform#2294

I'll leave them open until tomorrow evening and submit them if there are no other objections.

[HannesWell]

All steps are completed, thanks everyone for the participation.
Preparing the next release should be a bit simpler now.