383384385386387388389390391392393
copy(ids, fromDb, toDb, progress); ids.clear(); } } }; diffWalk.walk(filter, consumer); // copy remaining objects copy(ids, fromDb, toDb, progress); } private void copy(Set<ObjectId> ids, ObjectDatabase from, ObjectDatabase to,