Git's repack --drop-filtered reclaims the disk a partial clone quietly took back

git repack --drop-filtered removes promisor objects from partial clones, reclaiming disk space and avoiding unnecessary network fetches, but it aborts if any fi