Extract subdir from a local repo:

1) Copy the repo somewhere else:
       cp -a admin/ tmp/admin/
2) Filter the repo:
       cd tmp/admin
       git filter-repo --path scripts/benchmark/ --force
3) Don't move the files to the root dir, because its harder for me to detect with a script the original timestamp.
4) 7zip:
       cd ..
       mv admin benchmark_localgit_2026-10-13
       7zdir benchmark_localgit_2026-10-13
DONE!
--
