On Fri, Feb 8, 2019 at 2:40 AM Baptiste Mathus <[email protected]> wrote:
> Each merge generally rebuilds all ongoing PRs.

It does not have to be this way.

https://issues.jenkins-ci.org/browse/INFRA-1633

Closing potentially valid, though slow-moving, PRs just to prevent
Jenkins from endlessly rebuilding them seems perverse when the actual
problem can be corrected directly.

-- 
You received this message because you are subscribed to the Google Groups 
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr355LqhOH3rk3n0TnvXk%3D8ykb0vrsXjj_sWdHR3%3Dog7vg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to