• Icon: Improvement Improvement
    • Resolution: Fixed
    • Icon: Minor Minor
    • 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

          [JENKINS-26197] Allow prune option when using JGit

          pmv created issue -
          pmv made changes -
          Link New: This issue is related to JENKINS-20258 [ JENKINS-20258 ]
          Mark Waite made changes -
          Link New: This issue depends on JENKINS-26225 [ JENKINS-26225 ]
          Mark Waite made changes -
          Resolution New: Fixed [ 1 ]
          Status Original: Open [ 1 ] New: Resolved [ 5 ]
          Mark Waite made changes -
          Status Original: Resolved [ 5 ] New: Closed [ 6 ]
          R. Tyler Croy made changes -
          Workflow Original: JNJira [ 160188 ] New: JNJira + In-Review [ 208312 ]

            ndeloof Nicolas De Loof
            pmv pmv
            Votes:
            1 Vote for this issue
            Watchers:
            4 Start watching this issue

              Created:
              Updated:
              Resolved: