chore: remove 177 duplicate copies

Browse Source

dedup.py removes a copy only when another file has the same SHA-1 and
the same name, keeping the higher-priority path, so resolution by hash
still finds the content. Verified rather than assumed: all 17268
manifest entries ship the same bytes as before, no destination gained
or lost, only the source paths consolidate. Every deleted path's content
is still held elsewhere.

12.1 MB and 48 empty directories go with them. The index and the
published artefacts are regenerated on top.

...

This commit is contained in:

Abdessamad Derraz committed 2026-08-23 14:14:14 +02:00

1 parent b75f4979a3

commit 27e722d8f3

189 files changed

+244 -126331

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

database.json

+168 -499

File diff suppressed because it is too large. Load diff