Jeff King <peff@xxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxxxxx> > > 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.