On Tue, Mar 15, 2022 at 10:03 AM Mickael Istria <mist...@redhat.com> wrote:

>
>
> On Mon, Mar 14, 2022 at 6:53 PM Sravan K Lakkimsetti <
> sravankum...@in.ibm.com> wrote:
>
>> Migration of the mentioned repositories is complete and new repositories
>> are
>>
>>
>>
>>    1. https://github.com/eclipse-platform/eclipse.platform.common
>>    2. https://github.com/eclipse-platform/eclipse.platform.team
>>
>>
> It looks like CI is not triggering new build for PRs.
>

Sorry, that's wrong, those repos are fine. It's the Equinox one I had in
mind and the issue is already covered with
https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/987
-- 
Mickael Istria
Eclipse IDE <https://www.eclipse.org/eclipseide> developer, for Red Hat
Developers <https://developers.redhat.com/>
_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To unsubscribe from this list, visit 
https://www.eclipse.org/mailman/listinfo/platform-dev

Reply via email to