Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests

[Lars Vogel <lars.vogel@xxxxxxxxxxx>]

Hi Michael,

What happens / happened to the Tycho Extras repo? IIRC it contains task like the P2 mirroring.

Best regards, Lars

Mickael Istria <mistria@xxxxxxxxxx> schrieb am Do., 8. Apr. 2021, 23:59:

Hi all,

Tycho has moved to GitHub as main Git repository and now accepts issue reports at GitHub and code contributions as GitHub Pull Requests. The starting point is https://github.com/eclipse/tycho

Tycho Gerrit repository & Bugzilla tickets resp. at git.eclipse.org and bugs.eclipse.org will soon be made readonly. So you're invited to migrate important and still relevant content to GitHub.

Cheers,

--

Mickael Istria

Eclipse IDE developer, for Red Hat Developers

_______________________________________________
tycho-user mailing list
tycho-user@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/tycho-user