So where are we now guys? 1. Are we still saying we are not going to update existing plugins on an upgrade? Jesse seemed definitive on this one but I still don't know the reasoning. 2. Are we still saying pinned files should be ignored ala what Jesse said earlier? Again, I still haven't heard the reasons why they should be ignored. This only seems relevant to me if the answer to #1 is yes (we are updating existing plugins on an upgrade).
Basically, I want to agreement on what changes are needed on the PR. -- 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/d7209aea-08d3-46ec-92f4-ff5070cc1410%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
