So here is my proposal of execution
1. we move all the content of org.eclipse.tycho.extras into a top-level "tycho-extras" folder in the same repo
2. From org.eclipse.tycho (non-extras) Git repo, we fetch the top of tycho.extras and merge it
-> This should result in a merge commit with 2 branches of history: one about tycho-core and the other about tycho-extras, so history is still there
-> the tycho-extras folder is not part of tycho-core
We wait for some time for some issues to be popping up and remediate them, and when we are happy with it
1. we refactor the pom: tycho root pom.xml references tycho-extras, the tycho-extras pom takes the root pom.xml as parent
2. we adapt jobs so the build of tycho & tycho-extras become only 1 step
And then, we'll be all set and we can improve things further continuously.
specifically, as project lead, do you support this?