From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 08 Feb 2018 23:16:10 GMT
Subject: Re: [PATCH v3 01/14] commit-graph: add format document
Message-ID: <xmqq8tc36pj9.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <68287af0-a4ec-d2ab-bbcc-84326871120b@gmail.com>

Derrick Stolee <stolee@gmail.com> writes:

> You're right that this data is redundant. It is easy to describe the
> width of the tables using the OID length, so it is convenient to have
> that part of the format. Also, it is good to have 4-byte alignment
> here, so we are not wasting space.
>
> There isn't a strong reason to put that here, but I don't have a great
> reason to remove it, either.

Redundant information that can go out of sync is a great enough
reason not to have it in the first place.