Open SimonBin opened 1 year ago
It seems the version of org.eclipse.jgit
that Protégé is using (4.8.0) does not support Git’s index format v4. This support was added in JGit 5.9.0, so I guess we need to update our dependency to at least that version.
In the meantime, a workaround is to have Git rewrite its index using the v2 or v3 format, with
$ git update-index --index-version 3
(This may decrease Git’s performances, as the main advantage of format v4 is a smaller index allowing for faster loading.)