]> source.dussan.org Git - jgit.git/commit
[pgm] Add --mirror option to clone command 53/151353/3
authorMatthias Sohn <matthias.sohn@sap.com>
Sun, 20 Oct 2019 16:08:59 +0000 (18:08 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Mon, 21 Oct 2019 07:29:52 +0000 (09:29 +0200)
commitc24eee4fa4db682b138a7a212cf711ab682d02f6
treea0b756998f5ceb64fadef2b514f2cef68c8b9524
parentbceac7bd03e5a7660cb4f934f0db7ada7eab7b54
[pgm] Add --mirror option to clone command

Bug: 552173
Change-Id: Ic8a98b2e0f8f29afd599723f93e51b06b9f13314
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit.pgm.test/tst/org/eclipse/jgit/pgm/CloneTest.java
org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties
org.eclipse.jgit.pgm/src/org/eclipse/jgit/pgm/Clone.java