Commit 90656858ce6ec0f4cba5ba5f8690ace9b83161d0

Edward Thomson 2021-09-21T11:28:39

filter: use a `git_oid` in filter options, not a pointer Using a `git_oid *` in filter options was a mistake; it is a deviation from our typical pattern, and callers in some languages that GC may need very special treatment in order to pass both an options structure and a pointer outside of it.