Commit 3eba9181cf74693d5906c799e08aba15b5745355

Edward Thomson 2022-01-26T13:02:49

odb: add git_odb_options Users will need to be able to specify the object id type for the given object database; add a new `git_odb_options` with that option.