Re: [PATCH v3 01/14] commit-graph: add format document
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 8, 2018, 23:16 UTC
- 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:
Show 7 quoted lines
> 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.