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

[Christoph Läubrich <laeubi@xxxxxxxxxxxxxx>]

tycho-extras was moved into tacho-"core" a long time ago:


https://github.com/eclipse/tycho/tree/master/tycho-extras


Am 12.04.21 um 10:16 schrieb Lars Vogel:
> 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 <mailto: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
>     <https://github.com/eclipse/tycho>
>
>     Tycho Gerrit repository & Bugzilla tickets resp. at git.eclipse.org
>     <http://git.eclipse.org> and bugs.eclipse.org
>     <http://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 <https://www.eclipse.org/downloads/eclipse-packages/>
>     developer, for Red Hat Developers <https://developers.redhat.com/>
>     _______________________________________________
>     tycho-user mailing list
>     tycho-user@xxxxxxxxxxx <mailto:tycho-user@xxxxxxxxxxx>
>     To unsubscribe from this list, visit
>     https://www.eclipse.org/mailman/listinfo/tycho-user
>     <https://www.eclipse.org/mailman/listinfo/tycho-user>
>
>
> _______________________________________________
> tycho-user mailing list
> tycho-user@xxxxxxxxxxx
> To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/tycho-user