tree 22eb0337f8113684e786a42a395c574ffb286355
parent 767e4d68c7dab58e55c4f43ee8a490c946e480b8
parent 83708f80fc5fc7202df0bf3c0951f85d31249fe3
author Junio C Hamano <gitster@pobox.com> 1695231912 -0700
committer Junio C Hamano <gitster@pobox.com> 1695231916 -0700

Merge branch 'jc/update-index-show-index-version'

"git update-index" learns "--show-index-version" to inspect
the index format version used by the on-disk index file.

* jc/update-index-show-index-version:
  test-tool: retire "index-version"
  update-index: add --show-index-version
  update-index doc: v4 is OK with JGit and libgit2