Use git-filter-repo's --to-subdirectory-filter and --tag-rename:
https://github.com/newren/git-filter-repo#solving-this-with-...
Use git-filter-repo's --to-subdirectory-filter and --tag-rename:
https://github.com/newren/git-filter-repo#solving-this-with-...