-
Type:
Improvement
-
Resolution: Fixed
-
Priority:
Minor
-
Component/s: git-plugin
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
- depends on
-
JENKINS-26225 Recent retry changes in git plugin have obscured previously clear error cases
-
- Closed
-
- is related to
-
-
- Closed
-
