Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [tycho-user] 📢 Tycho has moved to GitHub repo and Pull Requests

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



Back to the top