Some git-config options that we were using (--default, --type=bool, and --type=int) were only added in git 2.18, released 2018-06-21. This means that some fairly recent platforms, like Ubuntu 18.04 "bionic", don't have those features in their default git.
Change git.Repository to invoke git config without using those newer options.
Some
git-config
options that we were using (--default
,--type=bool
, and--type=int
) were only added in git 2.18, released 2018-06-21. This means that some fairly recent platforms, like Ubuntu 18.04 "bionic", don't have those features in their defaultgit
.Change
git.Repository
to invokegit config
without using those newer options.Fixes #97.