On Thu, Jul 11, 2019 at 7:51 AM Daniel Beck <[email protected]> wrote: > 3. Start with PRs, but merge myself when maintainers don't. This is basically > what Oliver ended up doing when we added Jenkinsfiles to plugin > repositories.[2]
+1 for this. An unmentioned benefit over #1 is that CI will catch fatal mistakes in your tool, and if you are doing some batch POM transformation with hundreds of cases you are going to have made a couple of mistakes. -- 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/CANfRfr34ErzvKcCVgWCP%2BoqMXTsOND4-OGH0Ddqup3YMSMvE%3DA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
