]> source.dussan.org Git - jgit.git/commit
Use fetch.prune and remote.<name>.prune to set prune mode when fetching 45/21845/2
authorKonrad Kügler <swamblumat-eclipsebugs@yahoo.de>
Tue, 11 Feb 2014 22:01:04 +0000 (23:01 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 12 Feb 2014 23:16:33 +0000 (00:16 +0100)
commit420cb50cc2eeaaa85cc06f605c7a61fa4798a04e
treee1f5101af67e04c75b2e5f84aa835010ea87c8ed
parentd86c88308231b79a4b569032546c4043570c3921
Use fetch.prune and remote.<name>.prune to set prune mode when fetching

When no explicit value is set via FetchCommand.setRemoveDeletedRefs()
checks if pruning is enabled in the configuration.

The following commit introduced the prune config to C Git:
https://github.com/git/git/commit/737c5a9cde708d6995c765b7c2e95033edd0a896

Change-Id: Ida79d335218e1c9f5c6e2ce03386ac8a1c0b212e
Signed-off-by: Konrad Kügler <swamblumat-eclipsebugs@yahoo.de>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit/src/org/eclipse/jgit/api/FetchCommand.java
org.eclipse.jgit/src/org/eclipse/jgit/lib/ConfigConstants.java