diff options
| author | Han-Wen Nienhuys <hanwen@google.com> | 2019-08-29 20:18:10 +0200 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2019-11-16 23:26:40 -0800 |
| commit | a8f4bf6abef0bb3ca116c65728342928ed43508b (patch) | |
| tree | 2383b7d402826ccfc56a97a10c15e03a2c7a0dc6 /org.eclipse.jgit.pgm/resources | |
| parent | 38586d54d0a2da26d574fec831fce8964205db50 (diff) | |
| download | jgit-a8f4bf6abef0bb3ca116c65728342928ed43508b.tar.gz jgit-a8f4bf6abef0bb3ca116c65728342928ed43508b.zip | |
pgm: add command to convert repo to reftable
Change-Id: I2f870699995da164a3e7adec430301ac7a53c425
Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit.pgm/resources')
| -rw-r--r-- | org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties | 2 |
1 files changed, 2 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 7cca02376b..02f0543206 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 @@ -326,6 +326,8 @@ usage_configList=List all variables set in config file usage_configLocal=use local configuration in .git/config usage_configSystem=use system-wide configuration in $(prefix)/etc/gitconfig usage_configureTheServiceInDaemonServicename=configure the service in daemon.servicename +usage_convertRefStorage=Convert ref storage to reftable +usage_convertRefStorageFormat=Format to convert to (reftable or refdir) usage_createBranchAndCheckout=create branch and check out usage_deleteBranchEvenIfNotMerged=delete branch (even if not merged) usage_deleteFullyMergedBranch=delete fully merged branch |