Merge branch 'jk/really-deprecate-pack-redundant'

"git pack-redundant" gave a warning when run, as the command has outlived its usefulness long ago and is nominated for future removal. Now we escalate to give an error. * jk/really-deprecate-pack-redundant: pack-redundant: escalate deprecation warning to an error

Junio C Hamano committed Apr 4, 2023 at 14:28 UTC 5e4070e12808441cd0a21e45e1af52a7f28ddd2e

No changes.