Indeed, refactoring not about this bug. But my point is - if refactoring affects Prune, and Prune not working well, so may be it would be good to make it right at once, during refactoring.
On Wednesday, August 7, 2013 1:50:09 PM UTC+7, nicolas de loof wrote: > > need to test, but anyway this refactoring goal was not to fix > JENKINS-18834 <https://issues.jenkins-ci.org/browse/JENKINS-18834>, so > maybe need some extra effort > > > 2013/8/7 Sapone <[email protected] <javascript:>> > >> Oh, now I see what happens... Thanks a lot! >> But what about fact, that prune should be done before fetching? (see JIRA >> bug) >> >> >> On Tuesday, August 6, 2013 6:39:20 PM UTC+7, nicolas de loof wrote: >> >>> Isn't https://github.com/**jenkinsci/git-plugin/blob/** >>> refactoring/src/main/java/**hudson/plugins/git/extensions/** >>> impl/PruneStaleBranch.java<https://github.com/jenkinsci/git-plugin/blob/refactoring/src/main/java/hudson/plugins/git/extensions/impl/PruneStaleBranch.java>what >>> your looking for ? >>> >>> >>> 2013/8/6 Sapone <[email protected]> >>> >>>> Looks like Prune option is completly removed in refactoring branch. >>>> Why? >>>> >>>> Here the bug in JIRA: >>>> https://issues.jenkins-ci.org/**browse/JENKINS-18834<https://issues.jenkins-ci.org/browse/JENKINS-18834> >>>> >>>> -- >>>> 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 jenkinsci-de...@**googlegroups.com. >>>> >>>> For more options, visit >>>> https://groups.google.com/**groups/opt_out<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] <javascript:>. >> 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.
