diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2018-03-13 02:20:29 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2018-03-13 02:20:29 +0100 |
| commit | e23b09ad6efc35f6574cfefd4467ad20e5212ff2 (patch) | |
| tree | 2496db04e5c6c321c5df516b6e92c3c7005c90cd /org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal | |
| parent | 6f82de449fa8c2e30b60afedf9b557d879fdde8c (diff) | |
| download | jgit-e23b09ad6efc35f6574cfefd4467ad20e5212ff2.tar.gz jgit-e23b09ad6efc35f6574cfefd4467ad20e5212ff2.zip | |
Implement --force option in FetchCommand and CLI fetch command
Change-Id: I42cdb57b8fb54ce466d1958391f12f911045327f
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal')
| -rw-r--r-- | org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties b/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties index cb0ea1bc48..e9370930d1 100644 --- a/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties +++ b/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties @@ -343,6 +343,7 @@ usage_forEachRefOutput=for-each-ref output usage_forceCheckout=when switching branches, proceed even if the index or the working tree differs from HEAD usage_forceClean=required to delete files or directories usage_forceCreateBranchEvenExists=force create branch even exists +usage_forcedFetch=force ref update fetch option usage_forceReplacingAnExistingTag=force replacing an existing tag usage_getAndSetOptions=Get and set repository or global options usage_groups=Restrict manifest projects to ones with specified group(s), use "-" for excluding [default|all|G1,G2,G3|G4,-G5,-G6] |