[tycho-dev] Tycho Extras build does not get triggered

[SCHREIBER.Martin]

Hi,

my recent change in the tycho extras repo [1] had not triggered a build. Didn't we had the same issue in tycho core some time ago? What was the solution there?

Thanks
Martin

[1] https://git.eclipse.org/r/#/c/129972/