diff options
| author | Mike Frysinger <vapier@google.com> | 2020-02-19 15:50:00 -0500 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2020-02-19 23:44:10 +0000 |
| commit | f81c72ed7727ca408d1859a86c56b532a8de8d59 (patch) | |
| tree | 9cdd3f23feed26c922528e8d1db86c3ebde03cc8 /subcmds/gitc_delete.py | |
| parent | 77b4397a7376fe52fe0725ed538891c89da161ed (diff) | |
| download | git-repo-f81c72ed7727ca408d1859a86c56b532a8de8d59.tar.gz | |
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>
Diffstat (limited to 'subcmds/gitc_delete.py')
0 files changed, 0 insertions, 0 deletions