filter-schema takes hours

[elmarco]

git filter-repo --path VERSION --path-glob 'qapi-schema/*.json' --path-glob 'qapi/*.json' --path-glob 'qga/*.json' took <10s, I think giving the same result :)

[arcnmx]

Hah, nice! Yeah it really could use speeding up, just never really bothered because of how infrequently it needs to be run. I should consider throwing that into the script, though there are some concerns about keeping the history consistent. I need to be careful about naive force pushes invalidating all older submodule pointers coming from this repo... Need to check if keeping the history from both tools will double the size of the schema repo, or if submodules can be set up to (or already do) fetch only a single reference? The point of the filtered repo is to keep it lean!

(maybe could manage to use git-filter-repo's --replace-refs feature to resume and make it continue from the existing filter-branch repo I think?)