Hey Baptiste, The assertion that this is affecting the entire user base is valid I believe, given the commonality of the use case for merging branched files when using SVN. In our case, we even see the issue when adding files to the repo via svn mv. Are you saying you've executed the repro steps and you've seen other results?
-Kenny On Apr 16, 2013, at 9:18 AM, Baptiste Mathus <[email protected]> wrote: Hi Kenny, You're talking about a workaround, couldn't you try working on it to become a fix and submit the corresponding pull request? Btw, "affecting entire user-base" sounds excessive to me since we also have a lot of svn projects and I don't think we're actually affected by this issue. I suppose that's also the reason none bothered fixing it at that point. My 2 cents, cheers Le 16 avr. 2013 10:22, "Kenny" <[email protected]> a écrit : > I'm sure your heart is in the right place Michael, but I understand how > open source software works. I've voted on the issue, replied with my case > information, and implemented a work-around until this is resolved. This is > a critical bug that was reported 9 months ago that affects the entire > user-base. It deserves some attention, if possible. > > -- > 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]. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- You received this message because you are subscribed to a topic in the Google Groups "Jenkins Developers" group. To unsubscribe from this topic, visit https://groups.google.com/d/topic/jenkinsci-dev/RqVeeriUJ9M/unsubscribe?hl=en . To unsubscribe from this group and all its topics, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out. -- 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]. For more options, visit https://groups.google.com/groups/opt_out.
