[jdt-ui-dev] gerrit?

[Stephan Herrmann <stephan.herrmann@xxxxxxxxx>]

Has anybody put JDT/UI's gerrit job to sleep?

It hasn't been listening to any recent changes, like

https://git.eclipse.org/r/116535
https://git.eclipse.org/r/116660

Last job ran on Jan 31.

Job #305 was my clumsy attempt to trigger it manually,
but without an initial trigger, there's nothing to retrigger,
and I found no way to tell Jenkins about a particular change.

Stephan