Re: [jdt-dev] what exactly does the PR job on jenkins build?

[Jörg Kubitz <jkubitz-eclipse@xxxxxx>]

As far as i remember the retrigger was configured at the same night but
is another flag then merge or at least can be configured by explicit git
command. But my memory can not recap every detail 🙁


> > 1) The previous strategy triggered a rebuild of PRs on each and every
> > change on master, especially if there are a lot of (long standing)
> > PRs this considerably can block the build pipeline.
>
> I thought the option is only about what is being built, not what
> triggers a build. I wish we could have the merge without the extra
> triggers from HEAD.  As that's not give I'll rest my case.