From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 30 Mar 2023 00:19:15 GMT
Subject: Re: What's cooking in git.git (Mar 2023, #06; Wed, 29)
Message-ID: <xmqqr0t75bwc.fsf@gitster.g>
In-Reply-To: <20230329231826.GA2314218@coredump.intra.peff.net>

Jeff King <peff@peff.net> writes:

>> * jk/document-pack-redundant-deprecation (2023-03-28) 1 commit
>>   (merged to 'next' on 2023-03-29 at cb64256b97)
>>  + pack-redundant: document deprecation
>> 
>>  Document that we have marked "pack-redundant" as deprecated.
>> 
>>  Will merge to 'master'.
>>  source: <20230328190641.GF18558@coredump.intra.peff.net>
>
> The application of the patch missed out on --scissors, I think.
> (I also expected it on top of jk/really-deprecate-pack-redundant, and
> for them to graduate together, but I don't think that matters much
> either way).

Yuck, that was very sloppy of me.  Thanks for catching.