[dirmd] Deduplicate directory metadata
Programmatically delete redundant metadata.
This CL is entirely machine-generated:
1. Export the metadata in the "original" and "reduced" forms:
dirmd read -form original > ~/tmp/dirmd/original.json
dirmd read -form reduced > ~/tmp/dirmd/reduced.json
2. Run reduce.py
Source code: https://gist.github.com/nodirg/a4803af94ffe258ba0a6e0a4807141d8
The script diffs the two JSON files and strips redundant
lines from DIR_METADATA files. If the file became empty, then
removes the file.
The results of the script was verified by diffing canonical
representation of `dirmd read -form full` before and after
the script: there is no diff.
Reviewed-by: John Abd-El-Malek <email@example.com>
Reviewed-by: Fred Mello <firstname.lastname@example.org>
Owners-Override: John Abd-El-Malek <email@example.com>
Commit-Queue: Nodir Turakulov <firstname.lastname@example.org>
1 file changed