On Mon, 25 Nov 2019 at 13:33, Mickael Istria <mistria@xxxxxxxxxx
> Hi all,
> This is a broader announcement that with https://bugs.eclipse.org/bugs/show_bug.cgi?id=552494
, the Git repository for tycho-extras (master code and history) has been merged into Tycho "main" Git repository, that you can browse at https://git.eclipse.org/c/tycho/org.eclipse.tycho.git/
> The recommendation is simply that your delete your local clone of the org.eclipse.tycho.extras Git repos.
> Your contributions for tycho-extras plugins are still welcome, using the usual Gerrit workflow, just the repository URL changed. Since repository keeps history, you usually can cherry-pick or push your pending commit from former tycho-extras Git repo to the main tycho Git repo, and that should work without trouble.
> The branches and tags for tycho-extras are currently still part of the (now read-only) legacy tycho-extras Git repo. As long as there is no value in copying them into the main repository, they're likely to stay there.