tree 9cdd3f23feed26c922528e8d1db86c3ebde03cc8
parent 77b4397a7376fe52fe0725ed538891c89da161ed
author Mike Frysinger <vapier@google.com> 1582145400 -0500
committer Mike Frysinger <vapier@google.com> 1582155850 +0000

project: set core.repositoryFormatVersion=1 when using extensions

When using extensions, make sure we set the git repo format version
so git knows to check the extension compatibility.  We can add a
helper to the Project API to simplify this and make it foolproof.

Change-Id: I9ab6c32d92fe2b8e5df6e2b080ca71556332e909
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/256035
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: Jonathan Nieder <jrn@google.com>