Re: [orb-dev] Please review PRs

[Piotr Żygieło <piotr.zygielo@xxxxxxxxx>]

> I offer https://github.com/eclipse-ee4j/orb/pull/141 to set up the
> GitHub workflow for PRs.

I see there is https://ci.eclipse.org/orb/job/PR-build-and-test/
But the latest indexing
https://ci.eclipse.org/orb/job/PR-build-and-test/indexing/console
    [Sat Feb 13 12:35:58 EST 2021]

I suppose no scheduled indexing is configured.

I suppose the project does not receive notifications from GitHub as well.
Perhaps https://gitlab.eclipse.org/eclipsefdn/helpdesk could check the
hook configuration.

In the meantime - may I ask to run the scan manually?

-- 
Piotrek