[JIRA] [git-plugin] (JENKINS-26197) Allow prune option when using JGit

[p...@java.net (JIRA)]

pmv created JENKINS-26197 Allow prune option when using JGit Issue Type: Improvement Assignee: Nicolas De Loof Components: git-plugin Created: 22/Dec/14 5:57 PM Description: Currently users are not able to use the prune option with JGit. Apparently JGit does have the prune feature, but it prunes more than git CLI: https://issues.jenkins-ci.org/browse/JENKINS-20258?focusedCommentId=218092&page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#comment-218092 I don't see any issues on the JGit bug tracker about this, but perhaps it's my search: https://bugs.eclipse.org/bugs/buglist.cgi?bug_status=__all__&content=prune&no_redirect=1&order=relevance%20desc&product=JGit&query_format=specific Project: Jenkins Labels: git plugin Priority: Minor Reporter: pmv

This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira

--
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.