]> source.dussan.org Git - jgit.git/commit
Set config "extensions" option when converting ref storage format 38/154538/2
authorMatthias Sohn <matthias.sohn@sap.com>
Sat, 14 Dec 2019 21:45:09 +0000 (22:45 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Sun, 15 Dec 2019 09:15:46 +0000 (10:15 +0100)
commit83f90a274cc8629caadb7ee3a1838be5e5c12b33
tree7a11f22b727cb3389a4692592a2a2428ea9d9f75
parent57f22d6db1e76720fffaafe0db6c1c3964f8b9a1
Set config "extensions" option when converting ref storage format

When converting to reftable format the option extensions.refStorage must
be set to "reftable" [1]. When converting back to refdir format this
config option needs to be removed.

Introduce constants for refStorage config options, also for the
"reftree" format.

[1] https://git.eclipse.org/r/plugins/gitiles/jgit/jgit/+/master/Documentation/technical/reftable.md#Version-1

Change-Id: I190222fa5edc1ad7309daa9be17ca934ff7971e3
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit.pgm/src/org/eclipse/jgit/pgm/debug/RebuildRefTree.java
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/FileRepository.java
org.eclipse.jgit/src/org/eclipse/jgit/lib/ConfigConstants.java