`git_reference_name_to_id()` is a much much cheaper way to resolve `HEAD` to an OID.